Fix query metadata, format

Author: MichaelRFairhurst

c/misra/src/rules/RULE-21-26/TimedlockOnInappropriateMutexType.ql

@@ -2,7 +2,7 @@
  * @id c/misra/timedlock-on-inappropriate-mutex-type
  * @name RULE-21-26: The Standard Library function mtx_timedlock() shall only be invoked on mutexes of type mtx_timed
  * @description The Standard Library function mtx_timedlock() shall only be invoked on mutex objects
- *              of appropriate mutex type
+ *              of appropriate mutex type.
  * @kind path-problem
  * @precision high
  * @problem.severity error

c/misra/src/rules/RULE-9-7/UninitializedAtomicObject.ql

@@ -18,11 +18,14 @@ import semmle.code.cpp.controlflow.Dominance
 
 class ThreadSpawningFunction extends Function {
   ThreadSpawningFunction() {
-    this.hasName("pthread_create") or
-    this.hasName("thrd_create") or
+    this.hasName("pthread_create")
+    or
+    this.hasName("thrd_create")
+    or
     exists(FunctionCall fc |
       fc.getTarget() instanceof ThreadSpawningFunction and
-      fc.getEnclosingFunction() = this)
+      fc.getEnclosingFunction() = this
+    )
   }
 }
 
@@ -37,21 +40,20 @@ class AtomicInitAddressOfExpr extends FunctionCall {
     )
   }
 
-  Expr getAddressedExpr() {
-    result = addressedExpr
-  }
+  Expr getAddressedExpr() { result = addressedExpr }
 }
 
 ControlFlowNode getARequiredInitializationPoint(LocalScopeVariable v) {
   result = v.getParentScope().(BlockStmt).getFollowingStmt()
   or
   exists(DeclStmt decl |
     decl.getADeclaration() = v and
-    result = any(FunctionCall fc
-      | fc.getTarget() instanceof ThreadSpawningFunction and
-      fc.getEnclosingBlock().getEnclosingBlock*() = v.getParentScope() and
-      fc.getAPredecessor*() = decl
-    )
+    result =
+      any(FunctionCall fc |
+        fc.getTarget() instanceof ThreadSpawningFunction and
+        fc.getEnclosingBlock().getEnclosingBlock*() = v.getParentScope() and
+        fc.getAPredecessor*() = decl
+      )
   )
 }
 
@@ -63,8 +65,8 @@ where
   not v.isTopLevel() and
   not exists(v.getInitializer()) and
   exists(ControlFlowNode missingInitPoint |
-    missingInitPoint = getARequiredInitializationPoint(v)
-    and not exists(AtomicInitAddressOfExpr initialization |
+    missingInitPoint = getARequiredInitializationPoint(v) and
+    not exists(AtomicInitAddressOfExpr initialization |
       initialization.getAddressedExpr().(VariableAccess).getTarget() = v and
       dominates(initialization, missingInitPoint)
     )

rule_packages/c/Concurrency7.json

@@ -26,7 +26,7 @@
       },
       "queries": [
         {
-          "description": "The Standard Library function mtx_timedlock() shall only be invoked on mutex objects of appropriate mutex type",
+          "description": "The Standard Library function mtx_timedlock() shall only be invoked on mutex objects of appropriate mutex type.",
           "kind": "path-problem",
           "name": "The Standard Library function mtx_timedlock() shall only be invoked on mutexes of type mtx_timed",
           "precision": "high",