Add 'correctness' tags to rule metadata of both queries

jeongsoolee09 · jeongsoolee09 · commit 017f019a0cce · 2026-02-03T14:45:23.000-05:00
diff --git a/cpp/misra/src/rules/RULE-8-7-2/PointerDifferenceTakenBetweenDifferentArrays.ql b/cpp/misra/src/rules/RULE-8-7-2/PointerDifferenceTakenBetweenDifferentArrays.ql
@@ -7,6 +7,7 @@
  * @problem.severity error
  * @tags external/misra/id/rule-8-7-2
  *       scope/system
+ *       correctness
  *       external/misra/enforcement/undecidable
  *       external/misra/obligation/required
  */
diff --git a/cpp/misra/src/rules/RULE-8-9-1/PointerComparedBetweenDifferentArrays.ql b/cpp/misra/src/rules/RULE-8-9-1/PointerComparedBetweenDifferentArrays.ql
@@ -7,6 +7,7 @@
  * @problem.severity error
  * @tags external/misra/id/rule-8-9-1
  *       scope/system
+ *       correctness
  *       external/misra/enforcement/undecidable
  *       external/misra/obligation/required
  */
diff --git a/rule_packages/cpp/Memory2.json b/rule_packages/cpp/Memory2.json
@@ -15,7 +15,8 @@
           "short_name": "PointerDifferenceTakenBetweenDifferentArrays",
           "shared_implementation_short_name": "DoNotSubtractPointersAddressingDifferentArrays",
           "tags": [
-            "scope/system"
+            "scope/system",
+            "correctness"
           ]
         }
       ],
diff --git a/rule_packages/cpp/Memory3.json b/rule_packages/cpp/Memory3.json
@@ -15,7 +15,8 @@
           "short_name": "PointerComparedBetweenDifferentArrays",
           "shared_implementation_short_name": "DoNotUseRelationalOperatorsWithDifferingArrays",
           "tags": [
-            "scope/system"
+            "scope/system",
+            "correctness"
           ]
         }
       ],

Original file line number	Diff line number	Diff line change
`@@ -15,7 +15,8 @@`
`15`	`15`	`"short_name": "PointerDifferenceTakenBetweenDifferentArrays",`
`16`	`16`	`"shared_implementation_short_name": "DoNotSubtractPointersAddressingDifferentArrays",`
`17`	`17`	`"tags": [`
`18`		`- "scope/system"`
	`18`	`+ "scope/system",`
	`19`	`+ "correctness"`
`19`	`20`	`]`
`20`	`21`	`}`
`21`	`22`	`],`