Merge branch 'michaelrfairhurst/package-undefined-behavior' into michaelrfairhurst/rule-4-1-3-detect-data-races

Author: MichaelRFairhurst

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"