Initialize Types package

jeongsoolee09 · jeongsoolee09 · commit 2dc3ba324573 · 2023-02-24T15:44:02.000-08:00
diff --git a/c/cert/src/rules/INT34-C/DoNotShiftAnExpressionByANegat.md b/c/cert/src/rules/INT34-C/DoNotShiftAnExpressionByANegat.md
@@ -0,0 +1,16 @@
+# INT34-C: Do not shift an expression by a negative number of bits or by greater than or equal to the number of
+
+This query implements the CERT-C rule INT34-C:
+
+> Do not shift an expression by a negative number of bits or by greater than or equal to the number of bits that exist in the operand
+## CERT
+
+** REPLACE THIS BY RUNNING THE SCRIPT `scripts/help/cert-help-extraction.py` **
+
+## Implementation notes
+
+None
+
+## References
+
+* CERT-C: [INT34-C: Do not shift an expression by a negative number of bits or by greater than or equal to the number of bits that exist in the operand](https://wiki.sei.cmu.edu/confluence/display/c)
diff --git a/c/cert/src/rules/INT34-C/DoNotShiftAnExpressionByANegat.ql b/c/cert/src/rules/INT34-C/DoNotShiftAnExpressionByANegat.ql
@@ -0,0 +1,19 @@
+/**
+ * @id c/cert/do-not-shift-an-expression-by-a-negat
+ * @name INT34-C: Do not shift an expression by a negative number of bits or by greater than or equal to the number of
+ * @description Do not shift an expression by a negative number of bits or by greater than or equal
+ *              to the number of bits that exist in the operand..
+ * @kind problem
+ * @precision very-high
+ * @problem.severity error
+ * @tags external/cert/id/int34-c
+ *       external/cert/obligation/rule
+ */
+
+import cpp
+import codingstandards.c.cert
+
+from
+where
+  not isExcluded(x, TypesPackage::doNotShiftAnExpressionByANegatQuery()) and
+select
diff --git a/c/cert/src/rules/INT34-C/ExprShiftedbyNegativeOrGreaterPrecisionOperand.md b/c/cert/src/rules/INT34-C/ExprShiftedbyNegativeOrGreaterPrecisionOperand.md
@@ -0,0 +1,16 @@
+# INT34-C: Bit shift should not be done by a negative operand or an operand of greater-or-equal precision than that of another
+
+This query implements the CERT-C rule INT34-C:
+
+> Do not shift an expression by a negative number of bits or by greater than or equal to the number of bits that exist in the operand
+## CERT
+
+** REPLACE THIS BY RUNNING THE SCRIPT `scripts/help/cert-help-extraction.py` **
+
+## Implementation notes
+
+None
+
+## References
+
+* CERT-C: [INT34-C: Do not shift an expression by a negative number of bits or by greater than or equal to the number of bits that exist in the operand](https://wiki.sei.cmu.edu/confluence/display/c)
diff --git a/c/cert/src/rules/INT34-C/ExprShiftedbyNegativeOrGreaterPrecisionOperand.ql b/c/cert/src/rules/INT34-C/ExprShiftedbyNegativeOrGreaterPrecisionOperand.ql
@@ -0,0 +1,19 @@
+/**
+ * @id c/cert/expr-shiftedby-negative-or-greater-precision-operand
+ * @name INT34-C: Bit shift should not be done by a negative operand or an operand of greater-or-equal precision than that of another
+ * @description Shifting an expression by an operand that is negative or of precision greater or
+ *              equal to that or the another causes representational error.
+ * @kind problem
+ * @precision very-high
+ * @problem.severity error
+ * @tags external/cert/id/int34-c
+ *       external/cert/obligation/rule
+ */
+
+import cpp
+import codingstandards.c.cert
+
+from
+where
+  not isExcluded(x, TypesPackage::exprShiftedbyNegativeOrGreaterPrecisionOperandQuery()) and
+select
diff --git a/c/cert/src/rules/INT36-C/ConvertingAPointerToIntegerOrIntegerToPointer.md b/c/cert/src/rules/INT36-C/ConvertingAPointerToIntegerOrIntegerToPointer.md
@@ -0,0 +1,18 @@
+# INT36-C: Do not convert pointers to integers and back
+
+This query implements the CERT-C rule INT36-C:
+
+> Converting a pointer to integer or integer to pointer
+
+
+## CERT
+
+** REPLACE THIS BY RUNNING THE SCRIPT `scripts/help/cert-help-extraction.py` **
+
+## Implementation notes
+
+None
+
+## References
+
+* CERT-C: [INT36-C: Converting a pointer to integer or integer to pointer](https://wiki.sei.cmu.edu/confluence/display/c)
diff --git a/c/cert/src/rules/INT36-C/ConvertingAPointerToIntegerOrIntegerToPointer.ql b/c/cert/src/rules/INT36-C/ConvertingAPointerToIntegerOrIntegerToPointer.ql
@@ -0,0 +1,19 @@
+/**
+ * @id c/cert/converting-a-pointer-to-integer-or-integer-to-pointer
+ * @name INT36-C: Do not convert pointers to integers and back
+ * @description Converting between pointers and integers is not portable and might cause invalid
+ *              memory access.
+ * @kind problem
+ * @precision very-high
+ * @problem.severity error
+ * @tags external/cert/id/int36-c
+ *       external/cert/obligation/rule
+ */
+
+import cpp
+import codingstandards.c.cert
+
+from
+where
+  not isExcluded(x, TypesPackage::convertingAPointerToIntegerOrIntegerToPointerQuery()) and
+select
diff --git a/c/cert/test/rules/INT34-C/DoNotShiftAnExpressionByANegat.expected b/c/cert/test/rules/INT34-C/DoNotShiftAnExpressionByANegat.expected
@@ -0,0 +1 @@
+No expected results have yet been specified
diff --git a/c/cert/test/rules/INT34-C/DoNotShiftAnExpressionByANegat.qlref b/c/cert/test/rules/INT34-C/DoNotShiftAnExpressionByANegat.qlref
@@ -0,0 +1 @@
+rules/INT34-C/DoNotShiftAnExpressionByANegat.ql
diff --git a/c/cert/test/rules/INT34-C/ExprShiftedbyNegativeOrGreaterPrecisionOperand.expected b/c/cert/test/rules/INT34-C/ExprShiftedbyNegativeOrGreaterPrecisionOperand.expected
@@ -0,0 +1 @@
+No expected results have yet been specified
diff --git a/c/cert/test/rules/INT34-C/ExprShiftedbyNegativeOrGreaterPrecisionOperand.qlref b/c/cert/test/rules/INT34-C/ExprShiftedbyNegativeOrGreaterPrecisionOperand.qlref
@@ -0,0 +1 @@
+rules/INT34-C/ExprShiftedbyNegativeOrGreaterPrecisionOperand.ql
diff --git a/c/cert/test/rules/INT36-C/ConvertingAPointerToIntegerOrIntegerToPointer.expected b/c/cert/test/rules/INT36-C/ConvertingAPointerToIntegerOrIntegerToPointer.expected
@@ -0,0 +1 @@
+No expected results have yet been specified
diff --git a/c/cert/test/rules/INT36-C/ConvertingAPointerToIntegerOrIntegerToPointer.qlref b/c/cert/test/rules/INT36-C/ConvertingAPointerToIntegerOrIntegerToPointer.qlref
@@ -0,0 +1 @@
+rules/INT36-C/ConvertingAPointerToIntegerOrIntegerToPointer.ql
diff --git a/c/misra/src/rules/DIR-4-6/PlainNumericalTypeUsedOverExplicitTypedef.ql b/c/misra/src/rules/DIR-4-6/PlainNumericalTypeUsedOverExplicitTypedef.ql
@@ -0,0 +1,19 @@
+/**
+ * @id c/misra/plain-numerical-type-used-over-explicit-typedef
+ * @name DIR-4-6: Do not use plain numerical types over typedefs named after their explicit bit layout
+ * @description Using plain numerical types over typedefs with explicit sign and bit counts may lead
+ *              to confusion on how much bits are allocated for a value.
+ * @kind problem
+ * @precision high
+ * @problem.severity error
+ * @tags external/misra/id/dir-4-6
+ *       external/misra/obligation/advisory
+ */
+
+import cpp
+import codingstandards.c.misra
+
+from
+where
+  not isExcluded(x, TypesPackage::plainNumericalTypeUsedOverExplicitTypedefQuery()) and
+select
diff --git a/c/misra/src/rules/DIR-4-6/TypedefsThatIndicateSizeAndSig.ql b/c/misra/src/rules/DIR-4-6/TypedefsThatIndicateSizeAndSig.ql
@@ -0,0 +1,18 @@
+/**
+ * @id c/misra/typedefs-that-indicate-size-and-sig
+ * @name DIR-4-6: typedefs that indicate size and signedness should be used in place of the basic numerical types
+ * @description TODO.
+ * @kind problem
+ * @precision high
+ * @problem.severity error
+ * @tags external/misra/id/dir-4-6
+ *       external/misra/obligation/advisory
+ */
+
+import cpp
+import codingstandards.c.misra
+
+from
+where
+  not isExcluded(x, TypesPackage::typedefsThatIndicateSizeAndSigQuery()) and
+select
diff --git a/c/misra/src/rules/RULE-12-5/SizeofOperatorHaveAnOperan.ql b/c/misra/src/rules/RULE-12-5/SizeofOperatorHaveAnOperan.ql
@@ -0,0 +1,19 @@
+/**
+ * @id c/misra/sizeof-operator-have-an-operan
+ * @name RULE-12-5: The sizeof operator shall not have an operand which is a function parameter declared as 'array of
+ * @description The sizeof operator shall not have an operand which is a function parameter declared
+ *              as 'array of type'.
+ * @kind problem
+ * @precision very-high
+ * @problem.severity error
+ * @tags external/misra/id/rule-12-5
+ *       external/misra/obligation/mandatory
+ */
+
+import cpp
+import codingstandards.c.misra
+
+from
+where
+  not isExcluded(x, TypesPackage::sizeofOperatorHaveAnOperanQuery()) and
+select
diff --git a/c/misra/src/rules/RULE-12-5/SizeofOperatorUsedOnArrayTypeParam.ql b/c/misra/src/rules/RULE-12-5/SizeofOperatorUsedOnArrayTypeParam.ql
@@ -0,0 +1,19 @@
+/**
+ * @id c/misra/sizeof-operator-used-on-array-type-param
+ * @name RULE-12-5: The sizeof operator should not be used on an array type function parameter.
+ * @description Using sizeof operator on an array type function parameter leads to unintended
+ *              results.
+ * @kind problem
+ * @precision very-high
+ * @problem.severity error
+ * @tags external/misra/id/rule-12-5
+ *       external/misra/obligation/mandatory
+ */
+
+import cpp
+import codingstandards.c.misra
+
+from
+where
+  not isExcluded(x, TypesPackage::sizeofOperatorUsedOnArrayTypeParamQuery()) and
+select
diff --git a/c/misra/src/rules/RULE-7-4/StringLiteralAssignedToAnObject.ql b/c/misra/src/rules/RULE-7-4/StringLiteralAssignedToAnObject.ql
@@ -0,0 +1,19 @@
+/**
+ * @id c/misra/string-literal-assigned-to-an-object
+ * @name RULE-7-4: A string literal shall not be assigned to an object unless the object's type is 'pointer to
+ * @description A string literal shall not be assigned to an object unless the object's type is
+ *              'pointer to const-qualified char'.
+ * @kind problem
+ * @precision very-high
+ * @problem.severity error
+ * @tags external/misra/id/rule-7-4
+ *       external/misra/obligation/required
+ */
+
+import cpp
+import codingstandards.c.misra
+
+from
+where
+  not isExcluded(x, TypesPackage::stringLiteralAssignedToAnObjectQuery()) and
+select
diff --git a/c/misra/src/rules/RULE-7-4/StringLiteralAssignedToNonConstChar.ql b/c/misra/src/rules/RULE-7-4/StringLiteralAssignedToNonConstChar.ql
@@ -0,0 +1,19 @@
+/**
+ * @id c/misra/string-literal-assigned-to-non-const-char
+ * @name RULE-7-4: A string literal shall only be assigned to a pointer to const char.
+ * @description Assigning string literal to a variable with type other than a pointer to const char
+ *              and modifying it causes undefined behavior .
+ * @kind problem
+ * @precision very-high
+ * @problem.severity error
+ * @tags external/misra/id/rule-7-4
+ *       external/misra/obligation/required
+ */
+
+import cpp
+import codingstandards.c.misra
+
+from
+where
+  not isExcluded(x, TypesPackage::stringLiteralAssignedToNonConstCharQuery()) and
+select
diff --git a/c/misra/test/rules/DIR-4-6/PlainNumericalTypeUsedOverExplicitTypedef.expected b/c/misra/test/rules/DIR-4-6/PlainNumericalTypeUsedOverExplicitTypedef.expected
@@ -0,0 +1 @@
+No expected results have yet been specified
diff --git a/c/misra/test/rules/DIR-4-6/PlainNumericalTypeUsedOverExplicitTypedef.qlref b/c/misra/test/rules/DIR-4-6/PlainNumericalTypeUsedOverExplicitTypedef.qlref
@@ -0,0 +1 @@
+rules/DIR-4-6/PlainNumericalTypeUsedOverExplicitTypedef.ql
diff --git a/c/misra/test/rules/DIR-4-6/TypedefsThatIndicateSizeAndSig.expected b/c/misra/test/rules/DIR-4-6/TypedefsThatIndicateSizeAndSig.expected
@@ -0,0 +1 @@
+No expected results have yet been specified
diff --git a/c/misra/test/rules/DIR-4-6/TypedefsThatIndicateSizeAndSig.qlref b/c/misra/test/rules/DIR-4-6/TypedefsThatIndicateSizeAndSig.qlref
@@ -0,0 +1 @@
+rules/DIR-4-6/TypedefsThatIndicateSizeAndSig.ql
diff --git a/c/misra/test/rules/RULE-12-5/SizeofOperatorHaveAnOperan.expected b/c/misra/test/rules/RULE-12-5/SizeofOperatorHaveAnOperan.expected
@@ -0,0 +1 @@
+No expected results have yet been specified
diff --git a/c/misra/test/rules/RULE-12-5/SizeofOperatorHaveAnOperan.qlref b/c/misra/test/rules/RULE-12-5/SizeofOperatorHaveAnOperan.qlref
@@ -0,0 +1 @@
+rules/RULE-12-5/SizeofOperatorHaveAnOperan.ql
diff --git a/c/misra/test/rules/RULE-12-5/SizeofOperatorUsedOnArrayTypeParam.expected b/c/misra/test/rules/RULE-12-5/SizeofOperatorUsedOnArrayTypeParam.expected
@@ -0,0 +1 @@
+No expected results have yet been specified
diff --git a/c/misra/test/rules/RULE-12-5/SizeofOperatorUsedOnArrayTypeParam.qlref b/c/misra/test/rules/RULE-12-5/SizeofOperatorUsedOnArrayTypeParam.qlref
@@ -0,0 +1 @@
+rules/RULE-12-5/SizeofOperatorUsedOnArrayTypeParam.ql
diff --git a/c/misra/test/rules/RULE-7-4/StringLiteralAssignedToAnObject.expected b/c/misra/test/rules/RULE-7-4/StringLiteralAssignedToAnObject.expected
@@ -0,0 +1 @@
+No expected results have yet been specified
diff --git a/c/misra/test/rules/RULE-7-4/StringLiteralAssignedToAnObject.qlref b/c/misra/test/rules/RULE-7-4/StringLiteralAssignedToAnObject.qlref
@@ -0,0 +1 @@
+rules/RULE-7-4/StringLiteralAssignedToAnObject.ql
diff --git a/c/misra/test/rules/RULE-7-4/StringLiteralAssignedToNonConstChar.expected b/c/misra/test/rules/RULE-7-4/StringLiteralAssignedToNonConstChar.expected
@@ -0,0 +1 @@
+No expected results have yet been specified
diff --git a/c/misra/test/rules/RULE-7-4/StringLiteralAssignedToNonConstChar.qlref b/c/misra/test/rules/RULE-7-4/StringLiteralAssignedToNonConstChar.qlref
@@ -0,0 +1 @@
+rules/RULE-7-4/StringLiteralAssignedToNonConstChar.ql
diff --git a/cpp/common/src/codingstandards/cpp/exclusions/c/RuleMetadata.qll b/cpp/common/src/codingstandards/cpp/exclusions/c/RuleMetadata.qll
@@ -47,6 +47,7 @@ import Strings1
 import Strings2
 import Strings3
 import Syntax
+import Types
 
 /** The TQuery type representing this language * */
 newtype TCQuery =
@@ -94,7 +95,8 @@ newtype TCQuery =
   TStrings1PackageQuery(Strings1Query q) or
   TStrings2PackageQuery(Strings2Query q) or
   TStrings3PackageQuery(Strings3Query q) or
-  TSyntaxPackageQuery(SyntaxQuery q)
+  TSyntaxPackageQuery(SyntaxQuery q) or
+  TTypesPackageQuery(TypesQuery q)
 
 /** The metadata predicate * */
 predicate isQueryMetadata(Query query, string queryId, string ruleId, string category) {
@@ -142,5 +144,6 @@ predicate isQueryMetadata(Query query, string queryId, string ruleId, string cat
   isStrings1QueryMetadata(query, queryId, ruleId, category) or
   isStrings2QueryMetadata(query, queryId, ruleId, category) or
   isStrings3QueryMetadata(query, queryId, ruleId, category) or
-  isSyntaxQueryMetadata(query, queryId, ruleId, category)
+  isSyntaxQueryMetadata(query, queryId, ruleId, category) or
+  isTypesQueryMetadata(query, queryId, ruleId, category)
 }
diff --git a/cpp/common/src/codingstandards/cpp/exclusions/c/Types.qll b/cpp/common/src/codingstandards/cpp/exclusions/c/Types.qll
diff --git a/rule_packages/c/Types.json b/rule_packages/c/Types.json

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+No expected results have yet been specified`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+rules/INT34-C/DoNotShiftAnExpressionByANegat.ql`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+rules/INT34-C/ExprShiftedbyNegativeOrGreaterPrecisionOperand.ql`