Check in rule description files

Author: jeongsoolee09

cpp/common/src/codingstandards/cpp/exclusions/cpp/Memory2.qll

@@ -0,0 +1,26 @@
+//** THIS FILE IS AUTOGENERATED, DO NOT MODIFY DIRECTLY.  **/
+import cpp
+import RuleMetadata
+import codingstandards.cpp.exclusions.RuleMetadata
+
+newtype Memory2Query = TPointerDifferenceTakenBetweenDifferentArraysQuery()
+
+predicate isMemory2QueryMetadata(Query query, string queryId, string ruleId, string category) {
+  query =
+    // `Query` instance for the `pointerDifferenceTakenBetweenDifferentArrays` query
+    Memory2Package::pointerDifferenceTakenBetweenDifferentArraysQuery() and
+  queryId =
+    // `@id` for the `pointerDifferenceTakenBetweenDifferentArrays` query
+    "cpp/misra/pointer-difference-taken-between-different-arrays" and
+  ruleId = "RULE-8-7-2" and
+  category = "required"
+}
+
+module Memory2Package {
+  Query pointerDifferenceTakenBetweenDifferentArraysQuery() {
+    //autogenerate `Query` type
+    result =
+      // `Query` type for `pointerDifferenceTakenBetweenDifferentArrays` query
+      TQueryCPP(TMemory2PackageQuery(TPointerDifferenceTakenBetweenDifferentArraysQuery()))
+  }
+}

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

@@ -40,6 +40,7 @@ import Linkage2
 import Literals
 import Loops
 import Macros
+import Memory2
 import MoveForward
 import Naming
 import Null
@@ -105,6 +106,7 @@ newtype TCPPQuery =
   TLiteralsPackageQuery(LiteralsQuery q) or
   TLoopsPackageQuery(LoopsQuery q) or
   TMacrosPackageQuery(MacrosQuery q) or
+  TMemory2PackageQuery(Memory2Query q) or
   TMoveForwardPackageQuery(MoveForwardQuery q) or
   TNamingPackageQuery(NamingQuery q) or
   TNullPackageQuery(NullQuery q) or
@@ -170,6 +172,7 @@ predicate isQueryMetadata(Query query, string queryId, string ruleId, string cat
   isLiteralsQueryMetadata(query, queryId, ruleId, category) or
   isLoopsQueryMetadata(query, queryId, ruleId, category) or
   isMacrosQueryMetadata(query, queryId, ruleId, category) or
+  isMemory2QueryMetadata(query, queryId, ruleId, category) or
   isMoveForwardQueryMetadata(query, queryId, ruleId, category) or
   isNamingQueryMetadata(query, queryId, ruleId, category) or
   isNullQueryMetadata(query, queryId, ruleId, category) or

cpp/misra/src/rules/RULE-8-7-2/PointerDifferenceTakenBetweenDifferentArrays.ql

@@ -0,0 +1,20 @@
+/**
+ * @id cpp/misra/pointer-difference-taken-between-different-arrays
+ * @name RULE-8-7-2: Subtraction between pointers shall only be applied to ones that address elements of the same array
+ * @description Pointer difference should be taken from pointers that belong to a same array.
+ * @kind problem
+ * @precision very-high
+ * @problem.severity error
+ * @tags external/misra/id/rule-8-7-2
+ *       scope/system
+ *       external/misra/enforcement/undecidable
+ *       external/misra/obligation/required
+ */
+
+import cpp
+import codingstandards.cpp.misra
+
+from
+where
+  not isExcluded(x, Memory2Package::pointerDifferenceTakenBetweenDifferentArraysQuery()) and
+select

cpp/misra/test/rules/RULE-8-7-2/PointerDifferenceTakenBetweenDifferentArrays.expected

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

cpp/misra/test/rules/RULE-8-7-2/PointerDifferenceTakenBetweenDifferentArrays.qlref

@@ -0,0 +1 @@
+rules/RULE-8-7-2/PointerDifferenceTakenBetweenDifferentArrays.ql

rule_packages/cpp/Memory2.json

@@ -0,0 +1,24 @@
+{
+  "MISRA-C++-2023": {
+    "RULE-8-7-2": {
+      "properties": {
+        "enforcement": "undecidable",
+        "obligation": "required"
+      },
+      "queries": [
+        {
+          "description": "Pointer difference should be taken from pointers that belong to a same array.",
+          "kind": "problem",
+          "name": "Subtraction between pointers shall only be applied to ones that address elements of the same array",
+          "precision": "very-high",
+          "severity": "error",
+          "short_name": "PointerDifferenceTakenBetweenDifferentArrays",
+          "tags": [
+            "scope/system"
+          ]
+        }
+      ],
+      "title": "Pointer difference should be taken from pointers that belong to a same array."
+    }
+  }
+}