Commit compilable stub queries

Author: MichaelRFairhurst

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

@@ -85,6 +85,7 @@ import Toolchain3
 import Trigraph
 import TrustBoundaries
 import TypeRanges
+import Undefined
 import Uninitialized
 import VirtualFunctions
 
@@ -173,6 +174,7 @@ newtype TCPPQuery =
   TTrigraphPackageQuery(TrigraphQuery q) or
   TTrustBoundariesPackageQuery(TrustBoundariesQuery q) or
   TTypeRangesPackageQuery(TypeRangesQuery q) or
+  TUndefinedPackageQuery(UndefinedQuery q) or
   TUninitializedPackageQuery(UninitializedQuery q) or
   TVirtualFunctionsPackageQuery(VirtualFunctionsQuery q)
 
@@ -261,6 +263,7 @@ predicate isQueryMetadata(Query query, string queryId, string ruleId, string cat
   isTrigraphQueryMetadata(query, queryId, ruleId, category) or
   isTrustBoundariesQueryMetadata(query, queryId, ruleId, category) or
   isTypeRangesQueryMetadata(query, queryId, ruleId, category) or
+  isUndefinedQueryMetadata(query, queryId, ruleId, category) or
   isUninitializedQueryMetadata(query, queryId, ruleId, category) or
   isVirtualFunctionsQueryMetadata(query, queryId, ruleId, category)
 }

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

@@ -0,0 +1,78 @@
+//** THIS FILE IS AUTOGENERATED, DO NOT MODIFY DIRECTLY.  **/
+import cpp
+import RuleMetadata
+import codingstandards.cpp.exclusions.RuleMetadata
+
+newtype UndefinedQuery =
+  TUndefinedBehaviorQuery() or
+  TCriticalUnspecifiedBehaviorQuery() or
+  TUndefinedBehaviorAuditQuery() or
+  TCriticalUnspecifiedBehaviorAuditQuery()
+
+predicate isUndefinedQueryMetadata(Query query, string queryId, string ruleId, string category) {
+  query =
+    // `Query` instance for the `undefinedBehavior` query
+    UndefinedPackage::undefinedBehaviorQuery() and
+  queryId =
+    // `@id` for the `undefinedBehavior` query
+    "cpp/misra/undefined-behavior" and
+  ruleId = "RULE-4-1-3" and
+  category = "required"
+  or
+  query =
+    // `Query` instance for the `criticalUnspecifiedBehavior` query
+    UndefinedPackage::criticalUnspecifiedBehaviorQuery() and
+  queryId =
+    // `@id` for the `criticalUnspecifiedBehavior` query
+    "cpp/misra/critical-unspecified-behavior" and
+  ruleId = "RULE-4-1-3" and
+  category = "required"
+  or
+  query =
+    // `Query` instance for the `undefinedBehaviorAudit` query
+    UndefinedPackage::undefinedBehaviorAuditQuery() and
+  queryId =
+    // `@id` for the `undefinedBehaviorAudit` query
+    "cpp/misra/undefined-behavior-audit" and
+  ruleId = "RULE-4-1-3" and
+  category = "required"
+  or
+  query =
+    // `Query` instance for the `criticalUnspecifiedBehaviorAudit` query
+    UndefinedPackage::criticalUnspecifiedBehaviorAuditQuery() and
+  queryId =
+    // `@id` for the `criticalUnspecifiedBehaviorAudit` query
+    "cpp/misra/critical-unspecified-behavior-audit" and
+  ruleId = "RULE-4-1-3" and
+  category = "required"
+}
+
+module UndefinedPackage {
+  Query undefinedBehaviorQuery() {
+    //autogenerate `Query` type
+    result =
+      // `Query` type for `undefinedBehavior` query
+      TQueryCPP(TUndefinedPackageQuery(TUndefinedBehaviorQuery()))
+  }
+
+  Query criticalUnspecifiedBehaviorQuery() {
+    //autogenerate `Query` type
+    result =
+      // `Query` type for `criticalUnspecifiedBehavior` query
+      TQueryCPP(TUndefinedPackageQuery(TCriticalUnspecifiedBehaviorQuery()))
+  }
+
+  Query undefinedBehaviorAuditQuery() {
+    //autogenerate `Query` type
+    result =
+      // `Query` type for `undefinedBehaviorAudit` query
+      TQueryCPP(TUndefinedPackageQuery(TUndefinedBehaviorAuditQuery()))
+  }
+
+  Query criticalUnspecifiedBehaviorAuditQuery() {
+    //autogenerate `Query` type
+    result =
+      // `Query` type for `criticalUnspecifiedBehaviorAudit` query
+      TQueryCPP(TUndefinedPackageQuery(TCriticalUnspecifiedBehaviorAuditQuery()))
+  }
+}

cpp/misra/src/rules/RULE-4-1-3/CriticalUnspecifiedBehavior.ql

@@ -16,7 +16,8 @@
 import cpp
 import codingstandards.cpp.misra
 
-from
+from Element e
 where
-  not isExcluded(x, UndefinedPackage::criticalUnspecifiedBehaviorQuery()) and
-select
+  not isExcluded(e, UndefinedPackage::criticalUnspecifiedBehaviorQuery()) and
+  none()
+select e, "no implementation"

cpp/misra/src/rules/RULE-4-1-3/CriticalUnspecifiedBehaviorAudit.ql

@@ -17,7 +17,8 @@
 import cpp
 import codingstandards.cpp.misra
 
-from
+from Element e
 where
-  not isExcluded(x, UndefinedPackage::criticalUnspecifiedBehaviorAuditQuery()) and
-select
+  not isExcluded(e, UndefinedPackage::criticalUnspecifiedBehaviorAuditQuery()) and
+  none()
+select e, "no implementation"

cpp/misra/src/rules/RULE-4-1-3/UndefinedBehavior.ql

@@ -17,7 +17,8 @@
 import cpp
 import codingstandards.cpp.misra
 
-from
+from Element e
 where
-  not isExcluded(x, UndefinedPackage::undefinedBehaviorQuery()) and
-select
+  not isExcluded(e, UndefinedPackage::undefinedBehaviorQuery()) and
+  none()
+select e, "no implementation"

cpp/misra/src/rules/RULE-4-1-3/UndefinedBehaviorAudit.ql

@@ -18,7 +18,8 @@
 import cpp
 import codingstandards.cpp.misra
 
-from
+from Element e
 where
-  not isExcluded(x, UndefinedPackage::undefinedBehaviorAuditQuery()) and
-select
+  not isExcluded(e, UndefinedPackage::undefinedBehaviorAuditQuery()) and
+  none()
+select e, "no implementation"