Re-add package files

Author: jeongsoolee09

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

@@ -3,7 +3,7 @@
  * @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
+ * @precision high
  * @problem.severity error
  * @tags external/misra/id/rule-8-7-2
  *       scope/system
@@ -13,8 +13,11 @@
 
 import cpp
 import codingstandards.cpp.misra
+import codingstandards.cpp.rules.donotsubtractpointersaddressingdifferentarrays.DoNotSubtractPointersAddressingDifferentArrays
 
-from
-where
-  not isExcluded(x, Memory2Package::pointerDifferenceTakenBetweenDifferentArraysQuery()) and
-select
+class PointerDifferenceTakenBetweenDifferentArraysQuery extends DoNotSubtractPointersAddressingDifferentArraysSharedQuery
+{
+  PointerDifferenceTakenBetweenDifferentArraysQuery() {
+    this = Memory2Package::pointerDifferenceTakenBetweenDifferentArraysQuery()
+  }
+}

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

@@ -3,7 +3,7 @@
  * @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
+ * @precision high
  * @problem.severity error
  * @tags external/misra/id/rule-8-9-1
  *       scope/system

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

@@ -0,0 +1 @@
+cpp/common/test/rules/donotsubtractpointersaddressingdifferentarrays/DoNotSubtractPointersAddressingDifferentArrays.ql

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

@@ -0,0 +1 @@
+cpp/common/test/rules/.ql

rule_packages/cpp/Memory2.json

@@ -10,7 +10,7 @@
           "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",
+          "precision": "high",
           "severity": "error",
           "short_name": "PointerDifferenceTakenBetweenDifferentArrays",
           "shared_implementation_short_name": "DoNotSubtractPointersAddressingDifferentArrays",

rule_packages/cpp/Memory3.json

@@ -10,11 +10,10 @@
           "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",
+          "precision": "high",
           "severity": "error",
           "short_name": "PointerComparedBetweenDifferentArrays",
           "shared_implementation_short_name": "DoNotUseRelationalOperatorsWithDifferingArrays",
-          "shared_implementation_short_name": "",
           "tags": [
             "scope/system"
           ]