Formatting & json validation

Author: MichaelRFairhurst

c/common/src/codingstandards/c/SubObjects.qll

@@ -44,12 +44,10 @@ class SubObject extends TSubObject {
 
   /**
    * Holds for object roots and for member accesses on that root, not for array accesses.
-   * 
+   *
    * This is useful for cases where we do not wish to treat `x[y]` and `x[z]` as the same object.
    */
-  predicate isPrecise() {
-    not getParent*() = TObjectIndex(_)
-  }
+  predicate isPrecise() { not getParent*() = TObjectIndex(_) }
 
   SubObject getParent() {
     exists(SubObject struct, MemberVariable m |
@@ -79,9 +77,7 @@ class SubObject extends TSubObject {
     result.(ArrayExpr).getArrayBase() = getParent().getAnAccess()
   }
 
-  AddressOfExpr getAnAddressOfExpr() {
-    result.getOperand() = this.getAnAccess()
-  }
+  AddressOfExpr getAnAddressOfExpr() { result.getOperand() = this.getAnAccess() }
 
   ObjectIdentity getRootIdentity() {
     exists(ObjectIdentity i |

c/common/src/codingstandards/c/initialization/GlobalInitializationAnalysis.qll

@@ -4,7 +4,7 @@ import codingstandards.cpp.Concurrency
 import codingstandards.cpp.Type
 
 signature module GlobalInitializationAnalysisConfigSig {
-    /** A function which is not called or started as a thread */
+  /** A function which is not called or started as a thread */
   default predicate isRootFunction(Function f) {
     not exists(Function f2 | f2.calls(f)) and
     not f instanceof ThreadedFunction

rule_packages/c/Concurrency9.json

@@ -27,7 +27,7 @@
       },
       "queries": [
         {
-          "description": "Thread synchronization objects and thread-specific storage pointers shall not be destroyed until after all threads accessing them have terminated",
+          "description": "Thread synchronization objects and thread-specific storage pointers shall not be destroyed until after all threads accessing them have terminated.",
           "kind": "problem",
           "name": "Thread synchronization objects and thread-specific storage pointers shall not be disposed unsafely",
           "precision": "medium",
@@ -92,7 +92,7 @@
             "correctness",
             "concurrency",
             "external/misra/c/2012/amendment4",
-            "audit"
+            "external/misra/audit"
           ]
         }
       ],

schemas/rule-package.schema.json

@@ -342,6 +342,7 @@
                             "external/autosar/strict",
                             "scope/single-translation-unit",
                             "scope/system",
+                            "external/misra/audit",
                             "external/misra/c/2012/third-edition-first-revision",
                             "external/misra/c/2012/amendment2",
                             "external/misra/c/2012/amendment3",