checkpoint

Author: jsinglet

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

@@ -0,0 +1,42 @@
+//** THIS FILE IS AUTOGENERATED, DO NOT MODIFY DIRECTLY.  **/
+import cpp
+import RuleMetadata
+import codingstandards.cpp.exclusions.RuleMetadata
+
+newtype Language1Query =
+  TLanguageNotEncapsulatedAndIsolatedQuery() or
+  TLanguageExtensionsShouldNotBeUsedQuery()
+
+predicate isLanguage1QueryMetadata(Query query, string queryId, string ruleId) {
+  query =
+    // `Query` instance for the `languageNotEncapsulatedAndIsolated` query
+    Language1Package::languageNotEncapsulatedAndIsolatedQuery() and
+  queryId =
+    // `@id` for the `languageNotEncapsulatedAndIsolated` query
+    "c/misra/language-not-encapsulated-and-isolated" and
+  ruleId = "DIR-4-3"
+  or
+  query =
+    // `Query` instance for the `languageExtensionsShouldNotBeUsed` query
+    Language1Package::languageExtensionsShouldNotBeUsedQuery() and
+  queryId =
+    // `@id` for the `languageExtensionsShouldNotBeUsed` query
+    "c/misra/language-extensions-should-not-be-used" and
+  ruleId = "RULE-1-2"
+}
+
+module Language1Package {
+  Query languageNotEncapsulatedAndIsolatedQuery() {
+    //autogenerate `Query` type
+    result =
+      // `Query` type for `languageNotEncapsulatedAndIsolated` query
+      TQueryC(TLanguage1PackageQuery(TLanguageNotEncapsulatedAndIsolatedQuery()))
+  }
+
+  Query languageExtensionsShouldNotBeUsedQuery() {
+    //autogenerate `Query` type
+    result =
+      // `Query` type for `languageExtensionsShouldNotBeUsed` query
+      TQueryC(TLanguage1PackageQuery(TLanguageExtensionsShouldNotBeUsedQuery()))
+  }
+}

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

@@ -17,6 +17,7 @@ import IO1
 import IO2
 import IO3
 import IO4
+import Language1
 import Misc
 import Pointers1
 import Pointers2
@@ -49,6 +50,7 @@ newtype TCQuery =
   TIO2PackageQuery(IO2Query q) or
   TIO3PackageQuery(IO3Query q) or
   TIO4PackageQuery(IO4Query q) or
+  TLanguage1PackageQuery(Language1Query q) or
   TMiscPackageQuery(MiscQuery q) or
   TPointers1PackageQuery(Pointers1Query q) or
   TPointers2PackageQuery(Pointers2Query q) or
@@ -81,6 +83,7 @@ predicate isQueryMetadata(Query query, string queryId, string ruleId) {
   isIO2QueryMetadata(query, queryId, ruleId) or
   isIO3QueryMetadata(query, queryId, ruleId) or
   isIO4QueryMetadata(query, queryId, ruleId) or
+  isLanguage1QueryMetadata(query, queryId, ruleId) or
   isMiscQueryMetadata(query, queryId, ruleId) or
   isPointers1QueryMetadata(query, queryId, ruleId) or
   isPointers2QueryMetadata(query, queryId, ruleId) or

rule_packages/c/Language1.json

@@ -0,0 +1,43 @@
+{
+  "MISRA-C-2012": {
+    "DIR-4-3": {
+      "properties": {
+        "obligation": "required"
+      },
+      "queries": [
+        {
+          "description": "Failing to encapsulate assembly language limits the portability, reliability, and readability of programs.",
+          "kind": "problem",
+          "name": "Assembly language shall be encapsulated and isolated",
+          "precision": "very-high",
+          "severity": "error",
+          "short_name": "LanguageNotEncapsulatedAndIsolated",
+          "tags": [
+            "maintainability",
+            "readability" 
+          ]
+        }
+      ],
+      "title": "Assembly language shall be encapsulated and isolated"
+    },
+    "RULE-1-2": {
+      "properties": {
+        "obligation": "advisory"
+      },
+      "queries": [
+        {
+          "description": "The use of language extensions may reduce the portability and reliability of programs.",
+          "kind": "problem",
+          "name": "Language extensions should not be used",
+          "precision": "very-high",
+          "severity": "error",
+          "short_name": "LanguageExtensionsShouldNotBeUsed",
+          "tags": [
+            "maintainability"
+          ]
+        }
+      ],
+      "title": "Language extensions should not be used"
+    }
+  }
+}