files

Author: jsinglet

.vscode/tasks.json

@@ -223,6 +223,7 @@
                 "Lambdas",
                 "Language1",
                 "Language2",
+                "Language3",
                 "Literals",
                 "Loops",
                 "Macros",

c/misra/src/rules/RULE-1-2/LanguageExtensionsShouldNotBeUsed.ql

@@ -1,22 +1,21 @@
 /**
  * @id c/misra/language-extensions-should-not-be-used
  * @name RULE-1-2: Language extensions should not be used
- * @description Language extensions can have inconsistent behavior and should not be used.
+ * @description Language extensions are not portable to other compilers and should not be used.
  * @kind problem
  * @precision high
  * @problem.severity error
  * @tags external/misra/id/rule-1-2
  *       maintainability
  *       readability
- *       correctness
  *       external/misra/obligation/advisory
  */
-
-import cpp
-import codingstandards.c.misra
-import codingstandards.c.Extensions
+ import cpp
+ import codingstandards.c.misra
+ import codingstandards.c.Extensions
 
 from CCompilerExtension e
 where
-  not isExcluded(e, Language2Package::languageExtensionsShouldNotBeUsedQuery()) 
-select e, "Is a compiler extension and is not portable to other compilers." 
+  not isExcluded(e, Language3Package::languageExtensionsShouldNotBeUsedQuery()) 
+  select e, "Is a compiler extension and is not portable to other compilers." 
+

c/misra/src/rules/RULE-1-3/OccurrenceOfUndefinedBehavior.ql

@@ -0,0 +1,20 @@
+/**
+ * @id c/misra/occurrence-of-undefined-behavior
+ * @name RULE-1-3: There shall be no occurrence of undefined or critical unspecified behavior
+ * @description Relying on undefined or unspecified behavior can result in unreliable programs.
+ * @kind problem
+ * @precision high
+ * @problem.severity error
+ * @tags external/misra/id/rule-1-3
+ *       maintainability
+ *       readability
+ *       external/misra/obligation/required
+ */
+
+import cpp
+import codingstandards.c.misra
+
+from
+where
+  not isExcluded(x, Language3Package::occurrenceOfUndefinedBehaviorQuery()) and
+select

c/misra/test/rules/RULE-1-3/OccurrenceOfUndefinedBehavior.expected

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

c/misra/test/rules/RULE-1-3/OccurrenceOfUndefinedBehavior.qlref

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

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

@@ -0,0 +1,42 @@
+//** THIS FILE IS AUTOGENERATED, DO NOT MODIFY DIRECTLY.  **/
+import cpp
+import RuleMetadata
+import codingstandards.cpp.exclusions.RuleMetadata
+
+newtype Language3Query =
+  TLanguageExtensionsShouldNotBeUsedQuery() or
+  TOccurrenceOfUndefinedBehaviorQuery()
+
+predicate isLanguage3QueryMetadata(Query query, string queryId, string ruleId) {
+  query =
+    // `Query` instance for the `languageExtensionsShouldNotBeUsed` query
+    Language3Package::languageExtensionsShouldNotBeUsedQuery() and
+  queryId =
+    // `@id` for the `languageExtensionsShouldNotBeUsed` query
+    "c/misra/language-extensions-should-not-be-used" and
+  ruleId = "RULE-1-2"
+  or
+  query =
+    // `Query` instance for the `occurrenceOfUndefinedBehavior` query
+    Language3Package::occurrenceOfUndefinedBehaviorQuery() and
+  queryId =
+    // `@id` for the `occurrenceOfUndefinedBehavior` query
+    "c/misra/occurrence-of-undefined-behavior" and
+  ruleId = "RULE-1-3"
+}
+
+module Language3Package {
+  Query languageExtensionsShouldNotBeUsedQuery() {
+    //autogenerate `Query` type
+    result =
+      // `Query` type for `languageExtensionsShouldNotBeUsed` query
+      TQueryC(TLanguage3PackageQuery(TLanguageExtensionsShouldNotBeUsedQuery()))
+  }
+
+  Query occurrenceOfUndefinedBehaviorQuery() {
+    //autogenerate `Query` type
+    result =
+      // `Query` type for `occurrenceOfUndefinedBehavior` query
+      TQueryC(TLanguage3PackageQuery(TOccurrenceOfUndefinedBehaviorQuery()))
+  }
+}

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

@@ -22,6 +22,7 @@ import IO3
 import IO4
 import Language1
 import Language2
+import Language3
 import Misc
 import Pointers1
 import Pointers2
@@ -59,6 +60,7 @@ newtype TCQuery =
   TIO4PackageQuery(IO4Query q) or
   TLanguage1PackageQuery(Language1Query q) or
   TLanguage2PackageQuery(Language2Query q) or
+  TLanguage3PackageQuery(Language3Query q) or
   TMiscPackageQuery(MiscQuery q) or
   TPointers1PackageQuery(Pointers1Query q) or
   TPointers2PackageQuery(Pointers2Query q) or
@@ -96,6 +98,7 @@ predicate isQueryMetadata(Query query, string queryId, string ruleId) {
   isIO4QueryMetadata(query, queryId, ruleId) or
   isLanguage1QueryMetadata(query, queryId, ruleId) or
   isLanguage2QueryMetadata(query, queryId, ruleId) or
+  isLanguage3QueryMetadata(query, queryId, ruleId) or
   isMiscQueryMetadata(query, queryId, ruleId) or
   isPointers1QueryMetadata(query, queryId, ruleId) or
   isPointers2QueryMetadata(query, queryId, ruleId) or

rule_packages/c/Language3.json

@@ -0,0 +1,44 @@
+{
+  "MISRA-C-2012": {
+    "RULE-1-2": {
+      "properties": {
+        "obligation": "advisory"
+      },
+      "queries": [
+        {
+          "description": "Language extensions are not portable to other compilers and should not be used.",
+          "kind": "problem",
+          "name": "Language extensions should not be used",
+          "precision": "high",
+          "severity": "error",
+          "short_name": "LanguageExtensionsShouldNotBeUsed",
+          "tags": [
+            "maintainability",
+            "readability" 
+          ]
+        }
+      ],
+      "title": "Language extensions should not be used"
+    },
+    "RULE-1-3": {
+      "properties": {
+        "obligation": "required"
+      },
+      "queries": [
+        {
+          "description": "Relying on undefined or unspecified behavior can result in unreliable programs.",
+          "kind": "problem",
+          "name": "There shall be no occurrence of undefined or critical unspecified behavior",
+          "precision": "high",
+          "severity": "error",
+          "short_name": "OccurrenceOfUndefinedBehavior",
+          "tags": [
+            "maintainability",
+            "readability" 
+          ]
+        }
+      ],
+      "title": "There shall be no occurrence of undefined or critical unspecified behavior"
+    }
+  }
+}