Create rule files

Author: jeongsoolee09

c/misra/src/rules/RULE-21-13/CtypeFunctionArgNotUnsignedCharOrEof.ql

@@ -0,0 +1,19 @@
+/**
+ * @id c/misra/ctype-function-arg-not-unsigned-char-or-eof
+ * @name RULE-21-13: <ctype.h> function arguments shall be represented as unsigned char
+ * @description Passing arguments to <ctype.h> functions outside the range of unsigned char or EOF
+ *              causes undefined behavior.
+ * @kind problem
+ * @precision very-high
+ * @problem.severity error
+ * @tags external/misra/id/rule-21-13
+ *       external/misra/obligation/mandatory
+ */
+
+import cpp
+import codingstandards.c.misra
+
+from
+where
+  not isExcluded(x, StandardLibraryFunctionTypesPackage::ctypeFunctionArgNotUnsignedCharOrEofQuery()) and
+select

c/misra/src/rules/RULE-21-15/MemcpyMemmoveMemcmpArgNotPointersToCompatibleTypes.ql

@@ -0,0 +1,19 @@
+/**
+ * @id c/misra/memcpy-memmove-memcmp-arg-not-pointers-to-compatible-types
+ * @name RULE-21-15: The pointer arguments to the Standard Library functions memcpy, memmove and memcmp shall be pointers
+ * @description Passing pointers to incompatible types as arguments to memcpy, memmove and memcmp
+ *              indicates programmers' confusion.
+ * @kind problem
+ * @precision very-high
+ * @problem.severity error
+ * @tags external/misra/id/rule-21-15
+ *       external/misra/obligation/required
+ */
+
+import cpp
+import codingstandards.c.misra
+
+from
+where
+  not isExcluded(x, StandardLibraryFunctionTypesPackage::memcpyMemmoveMemcmpArgNotPointersToCompatibleTypesQuery()) and
+select

c/misra/test/rules/RULE-21-13/CtypeFunctionArgNotUnsignedCharOrEof.expected

@@ -0,0 +1 @@
+No expected results have yet been specified

c/misra/test/rules/RULE-21-13/CtypeFunctionArgNotUnsignedCharOrEof.qlref

@@ -0,0 +1 @@
+rules/RULE-21-13/CtypeFunctionArgNotUnsignedCharOrEof.ql

c/misra/test/rules/RULE-21-15/MemcpyMemmoveMemcmpArgNotPointersToCompatibleTypes.expected

@@ -0,0 +1 @@
+No expected results have yet been specified

c/misra/test/rules/RULE-21-15/MemcpyMemmoveMemcmpArgNotPointersToCompatibleTypes.qlref

@@ -0,0 +1 @@
+rules/RULE-21-15/MemcpyMemmoveMemcmpArgNotPointersToCompatibleTypes.ql

cpp/common/src/codingstandards/cpp/exclusions/c/RuleMetadata.qll

@@ -42,6 +42,7 @@ import Preprocessor5
 import Preprocessor6
 import SideEffects1
 import SideEffects2
+import StandardLibraryFunctionTypes
 import Strings1
 import Strings2
 import Strings3
@@ -89,6 +90,7 @@ newtype TCQuery =
   TPreprocessor6PackageQuery(Preprocessor6Query q) or
   TSideEffects1PackageQuery(SideEffects1Query q) or
   TSideEffects2PackageQuery(SideEffects2Query q) or
+  TStandardLibraryFunctionTypesPackageQuery(StandardLibraryFunctionTypesQuery q) or
   TStrings1PackageQuery(Strings1Query q) or
   TStrings2PackageQuery(Strings2Query q) or
   TStrings3PackageQuery(Strings3Query q) or
@@ -136,6 +138,7 @@ predicate isQueryMetadata(Query query, string queryId, string ruleId, string cat
   isPreprocessor6QueryMetadata(query, queryId, ruleId, category) or
   isSideEffects1QueryMetadata(query, queryId, ruleId, category) or
   isSideEffects2QueryMetadata(query, queryId, ruleId, category) or
+  isStandardLibraryFunctionTypesQueryMetadata(query, queryId, ruleId, category) or
   isStrings1QueryMetadata(query, queryId, ruleId, category) or
   isStrings2QueryMetadata(query, queryId, ruleId, category) or
   isStrings3QueryMetadata(query, queryId, ruleId, category) or

cpp/common/src/codingstandards/cpp/exclusions/c/StandardLibraryFunctionTypes.qll

@@ -0,0 +1,46 @@
+//** THIS FILE IS AUTOGENERATED, DO NOT MODIFY DIRECTLY.  **/
+import cpp
+import RuleMetadata
+import codingstandards.cpp.exclusions.RuleMetadata
+
+newtype StandardLibraryFunctionTypesQuery =
+  TCtypeFunctionArgNotUnsignedCharOrEofQuery() or
+  TMemcpyMemmoveMemcmpArgNotPointersToCompatibleTypesQuery()
+
+predicate isStandardLibraryFunctionTypesQueryMetadata(
+  Query query, string queryId, string ruleId, string category
+) {
+  query =
+    // `Query` instance for the `ctypeFunctionArgNotUnsignedCharOrEof` query
+    StandardLibraryFunctionTypesPackage::ctypeFunctionArgNotUnsignedCharOrEofQuery() and
+  queryId =
+    // `@id` for the `ctypeFunctionArgNotUnsignedCharOrEof` query
+    "c/misra/ctype-function-arg-not-unsigned-char-or-eof" and
+  ruleId = "RULE-21-13" and
+  category = "mandatory"
+  or
+  query =
+    // `Query` instance for the `memcpyMemmoveMemcmpArgNotPointersToCompatibleTypes` query
+    StandardLibraryFunctionTypesPackage::memcpyMemmoveMemcmpArgNotPointersToCompatibleTypesQuery() and
+  queryId =
+    // `@id` for the `memcpyMemmoveMemcmpArgNotPointersToCompatibleTypes` query
+    "c/misra/memcpy-memmove-memcmp-arg-not-pointers-to-compatible-types" and
+  ruleId = "RULE-21-15" and
+  category = "required"
+}
+
+module StandardLibraryFunctionTypesPackage {
+  Query ctypeFunctionArgNotUnsignedCharOrEofQuery() {
+    //autogenerate `Query` type
+    result =
+      // `Query` type for `ctypeFunctionArgNotUnsignedCharOrEof` query
+      TQueryC(TStandardLibraryFunctionTypesPackageQuery(TCtypeFunctionArgNotUnsignedCharOrEofQuery()))
+  }
+
+  Query memcpyMemmoveMemcmpArgNotPointersToCompatibleTypesQuery() {
+    //autogenerate `Query` type
+    result =
+      // `Query` type for `memcpyMemmoveMemcmpArgNotPointersToCompatibleTypes` query
+      TQueryC(TStandardLibraryFunctionTypesPackageQuery(TMemcpyMemmoveMemcmpArgNotPointersToCompatibleTypesQuery()))
+  }
+}