add base ql files

Author: MichaelRFairhurst

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

@@ -0,0 +1,22 @@
+/**
+ * @id cpp/misra/critical-unspecified-behavior
+ * @name RULE-4-1-3: There shall be no occurrence of critical unspecified behaviour
+ * @description Critical unspecified behaviour impacts the observable behaviour of the abstract
+ *              machine and means a program is not guaranteed to behave predictably.
+ * @kind problem
+ * @precision high
+ * @problem.severity error
+ * @tags external/misra/id/rule-4-1-3
+ *       correctness
+ *       scope/system
+ *       external/misra/enforcement/undecidable
+ *       external/misra/obligation/required
+ */
+
+import cpp
+import codingstandards.cpp.misra
+
+from
+where
+  not isExcluded(x, UndefinedPackage::criticalUnspecifiedBehaviorQuery()) and
+select

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

@@ -0,0 +1,23 @@
+/**
+ * @id cpp/misra/critical-unspecified-behavior-audit
+ * @name RULE-4-1-3: Audit: there shall be no occurrence of critical unspecified behaviour
+ * @description Critical unspecified behaviour impacts the observable behaviour of the abstract
+ *              machine and means a program is not guaranteed to behave predictably.
+ * @kind problem
+ * @precision low
+ * @problem.severity error
+ * @tags external/misra/id/rule-4-1-3
+ *       correctness
+ *       scope/system
+ *       external/misra/audit
+ *       external/misra/enforcement/undecidable
+ *       external/misra/obligation/required
+ */
+
+import cpp
+import codingstandards.cpp.misra
+
+from
+where
+  not isExcluded(x, UndefinedPackage::criticalUnspecifiedBehaviorAuditQuery()) and
+select

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

@@ -0,0 +1,23 @@
+/**
+ * @id cpp/misra/undefined-behavior
+ * @name RULE-4-1-3: There shall be no occurrence of undefined behaviour
+ * @description It is not possible to reason about the behaviour of any program that contains
+ *              instances of undefined behaviour, which can cause unpredictable results that are
+ *              particularly difficult to detect during testing.
+ * @kind problem
+ * @precision high
+ * @problem.severity error
+ * @tags external/misra/id/rule-4-1-3
+ *       correctness
+ *       scope/system
+ *       external/misra/enforcement/undecidable
+ *       external/misra/obligation/required
+ */
+
+import cpp
+import codingstandards.cpp.misra
+
+from
+where
+  not isExcluded(x, UndefinedPackage::undefinedBehaviorQuery()) and
+select

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

@@ -0,0 +1,24 @@
+/**
+ * @id cpp/misra/undefined-behavior-audit
+ * @name RULE-4-1-3: Audit: there shall be no occurrence of undefined behaviour
+ * @description It is not possible to reason about the behaviour of any program that contains
+ *              instances of undefined behaviour, which can cause unpredictable results that are
+ *              particularly difficult to detect during testing.
+ * @kind problem
+ * @precision low
+ * @problem.severity error
+ * @tags external/misra/id/rule-4-1-3
+ *       correctness
+ *       scope/system
+ *       external/misra/audit
+ *       external/misra/enforcement/undecidable
+ *       external/misra/obligation/required
+ */
+
+import cpp
+import codingstandards.cpp.misra
+
+from
+where
+  not isExcluded(x, UndefinedPackage::undefinedBehaviorAuditQuery()) and
+select

cpp/misra/test/rules/RULE-4-1-3/CriticalUnspecifiedBehavior.expected

@@ -0,0 +1 @@
+No expected results have yet been specified

cpp/misra/test/rules/RULE-4-1-3/CriticalUnspecifiedBehavior.qlref

@@ -0,0 +1 @@
+rules/RULE-4-1-3/CriticalUnspecifiedBehavior.ql

cpp/misra/test/rules/RULE-4-1-3/CriticalUnspecifiedBehaviorAudit.expected

@@ -0,0 +1 @@
+No expected results have yet been specified

cpp/misra/test/rules/RULE-4-1-3/CriticalUnspecifiedBehaviorAudit.qlref

@@ -0,0 +1 @@
+rules/RULE-4-1-3/CriticalUnspecifiedBehaviorAudit.ql

cpp/misra/test/rules/RULE-4-1-3/UndefinedBehavior.expected

@@ -0,0 +1 @@
+No expected results have yet been specified

cpp/misra/test/rules/RULE-4-1-3/UndefinedBehavior.qlref

@@ -0,0 +1 @@
+rules/RULE-4-1-3/UndefinedBehavior.ql