Add "shared_implementation_short_name" and check in all files

Author: jeongsoolee09

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

@@ -0,0 +1,26 @@
+//** THIS FILE IS AUTOGENERATED, DO NOT MODIFY DIRECTLY.  **/
+import cpp
+import RuleMetadata
+import codingstandards.cpp.exclusions.RuleMetadata
+
+newtype Memory3Query = TPointerComparedBetweenDifferentArraysQuery()
+
+predicate isMemory3QueryMetadata(Query query, string queryId, string ruleId, string category) {
+  query =
+    // `Query` instance for the `pointerComparedBetweenDifferentArrays` query
+    Memory3Package::pointerComparedBetweenDifferentArraysQuery() and
+  queryId =
+    // `@id` for the `pointerComparedBetweenDifferentArrays` query
+    "cpp/misra/pointer-compared-between-different-arrays" and
+  ruleId = "RULE-8-9-1" and
+  category = "required"
+}
+
+module Memory3Package {
+  Query pointerComparedBetweenDifferentArraysQuery() {
+    //autogenerate `Query` type
+    result =
+      // `Query` type for `pointerComparedBetweenDifferentArrays` query
+      TQueryCPP(TMemory3PackageQuery(TPointerComparedBetweenDifferentArraysQuery()))
+  }
+}

cpp/misra/src/rules/RULE-8-9-1/PointerComparedBetweenDifferentArrays.ql

@@ -0,0 +1,23 @@
+/**
+ * @id cpp/misra/pointer-compared-between-different-arrays
+ * @name RULE-8-9-1: The built-in relational operators >, >=, < and <= shall not be applied to objects of pointer type
+ * @description Pointer comparison should be done between ones that belong to a same array.
+ * @kind problem
+ * @precision very-high
+ * @problem.severity error
+ * @tags external/misra/id/rule-8-9-1
+ *       scope/system
+ *       external/misra/enforcement/undecidable
+ *       external/misra/obligation/required
+ */
+
+import cpp
+import codingstandards.cpp.misra
+import codingstandards.cpp.rules.donotuserelationaloperatorswithdifferingarrays.DoNotUseRelationalOperatorsWithDifferingArrays
+
+class PointerComparedBetweenDifferentArraysQuery extends DoNotUseRelationalOperatorsWithDifferingArraysSharedQuery
+{
+  PointerComparedBetweenDifferentArraysQuery() {
+    this = Memory3Package::pointerComparedBetweenDifferentArraysQuery()
+  }
+}

cpp/misra/test/rules/RULE-8-9-1/PointerComparedBetweenDifferentArrays.expected

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

cpp/misra/test/rules/RULE-8-9-1/PointerComparedBetweenDifferentArrays.qlref

@@ -0,0 +1 @@
+rules/RULE-8-9-1/PointerComparedBetweenDifferentArrays.ql

rule_packages/cpp/Memory2.json

@@ -13,6 +13,7 @@
           "precision": "very-high",
           "severity": "error",
           "short_name": "PointerDifferenceTakenBetweenDifferentArrays",
+          "shared_implementation_short_name": "DoNotSubtractPointersAddressingDifferentArrays",
           "tags": [
             "scope/system"
           ]

rule_packages/cpp/Memory3.json

@@ -0,0 +1,26 @@
+{
+  "MISRA-C++-2023": {
+    "RULE-8-9-1": {
+      "properties": {
+        "enforcement": "undecidable",
+        "obligation": "required"
+      },
+      "queries": [
+        {
+          "description": "Pointer comparison should be done between ones that belong to a same array.",
+          "kind": "problem",
+          "name": "The built-in relational operators >, >=, < and <= shall not be applied to objects of pointer type",
+          "precision": "very-high",
+          "severity": "error",
+          "short_name": "PointerComparedBetweenDifferentArrays",
+          "shared_implementation_short_name": "DoNotUseRelationalOperatorsWithDifferingArrays",
+          "shared_implementation_short_name": "",
+          "tags": [
+            "scope/system"
+          ]
+        }
+      ],
+      "title": "Pointer comparison should be done between ones that belong to a same array."
+    }
+  }
+}