Regenerate Pointers3 package files

Author: Nikita Kraiouchkine

c/cert/src/rules/EXP43-C/RestrictPointerReferencesOverlappingObject.md

@@ -1,4 +1,4 @@
-# EXP43-C: Do not assign the value of a restrict-qualified pointer to another restrict-qualified pointer.
+# EXP43-C: Do not assign the value of a restrict-qualified pointer to another restrict-qualified pointer
 
 This query implements the CERT-C rule EXP43-C:
 

c/cert/src/rules/EXP43-C/RestrictPointerReferencesOverlappingObject.ql

@@ -1,6 +1,6 @@
 /**
  * @id c/cert/restrict-pointer-references-overlapping-object
- * @name EXP43-C: Do not assign the value of a restrict-qualified pointer to another restrict-qualified pointer.
+ * @name EXP43-C: Do not assign the value of a restrict-qualified pointer to another restrict-qualified pointer
  * @description Restrict qualified pointers referencing overlapping objects is undefined behavior.
  * @kind problem
  * @precision high

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

@@ -10,46 +10,51 @@ newtype Pointers3Query =
   TDoNotPassAlisedPointerToRestrictQualifiedParameterQuery() or
   TRestrictPointerReferencesOverlappingObjectQuery()
 
-predicate isPointers3QueryMetadata(Query query, string queryId, string ruleId) {
+predicate isPointers3QueryMetadata(Query query, string queryId, string ruleId, string category) {
   query =
     // `Query` instance for the `doNotAccessVolatileObjectWithNonVolatileReference` query
     Pointers3Package::doNotAccessVolatileObjectWithNonVolatileReferenceQuery() and
   queryId =
     // `@id` for the `doNotAccessVolatileObjectWithNonVolatileReference` query
     "c/cert/do-not-access-volatile-object-with-non-volatile-reference" and
-  ruleId = "EXP32-C"
+  ruleId = "EXP32-C" and
+  category = "rule"
   or
   query =
     // `Query` instance for the `doNotCastPointerToMoreStrictlyAlignedPointerType` query
     Pointers3Package::doNotCastPointerToMoreStrictlyAlignedPointerTypeQuery() and
   queryId =
     // `@id` for the `doNotCastPointerToMoreStrictlyAlignedPointerType` query
     "c/cert/do-not-cast-pointer-to-more-strictly-aligned-pointer-type" and
-  ruleId = "EXP36-C"
+  ruleId = "EXP36-C" and
+  category = "rule"
   or
   query =
     // `Query` instance for the `doNotAccessVariableViaPointerOfIncompatibleType` query
     Pointers3Package::doNotAccessVariableViaPointerOfIncompatibleTypeQuery() and
   queryId =
     // `@id` for the `doNotAccessVariableViaPointerOfIncompatibleType` query
     "c/cert/do-not-access-variable-via-pointer-of-incompatible-type" and
-  ruleId = "EXP39-C"
+  ruleId = "EXP39-C" and
+  category = "rule"
   or
   query =
     // `Query` instance for the `doNotPassAlisedPointerToRestrictQualifiedParameter` query
     Pointers3Package::doNotPassAlisedPointerToRestrictQualifiedParameterQuery() and
   queryId =
     // `@id` for the `doNotPassAlisedPointerToRestrictQualifiedParameter` query
     "c/cert/do-not-pass-alised-pointer-to-restrict-qualified-parameter" and
-  ruleId = "EXP43-C"
+  ruleId = "EXP43-C" and
+  category = "rule"
   or
   query =
     // `Query` instance for the `restrictPointerReferencesOverlappingObject` query
     Pointers3Package::restrictPointerReferencesOverlappingObjectQuery() and
   queryId =
     // `@id` for the `restrictPointerReferencesOverlappingObject` query
     "c/cert/restrict-pointer-references-overlapping-object" and
-  ruleId = "EXP43-C"
+  ruleId = "EXP43-C" and
+  category = "rule"
 }
 
 module Pointers3Package {

rule_packages/c/Pointers3.json

@@ -79,7 +79,7 @@
         {
           "description": "Restrict qualified pointers referencing overlapping objects is undefined behavior.",
           "kind": "problem",
-          "name": "Do not assign the value of a restrict-qualified pointer to another restrict-qualified pointer.",
+          "name": "Do not assign the value of a restrict-qualified pointer to another restrict-qualified pointer",
           "precision": "high",
           "severity": "error",
           "short_name": "RestrictPointerReferencesOverlappingObject",