work

Author: jsinglet

rule_packages/c/Concurrency4.json

@@ -19,7 +19,7 @@
     },
     "CON34-C": {
       "properties": {
-        "obligation": "rule"
+        "obligation": "rule" 
       },
       "queries": [
         {
@@ -34,8 +34,21 @@
             "concurrency"
           ],
           "implementation_scope": {
-            "description": "This query does not consider Windows implementations or OpenMP implementations. This query is primarily about excluding cases wherein the storage duration of a variable is appropriate. As such, this query is not concerned if the appropriate synchronization mechanisms are used, such as sequencing calls to `thrd_join` and `free`. An audit query is supplied to handle those cases."
+            "description": "This query does not consider Windows implementations or OpenMP implementations. This query is primarily about excluding cases wherein the storage duration of a variable is appropriate. As such, this query is not concerned if the appropriate synchronization mechanisms are used, such as sequencing calls to `thrd_join` and `free`. An audit query is supplied to handle some of those cases."
           }
+        },
+        {
+          "description": "Storage durations not correctly initialized can cause unpredictable program behavior.",
+          "kind": "problem",
+          "name": "(Audit) Declare objects shared between threads with appropriate storage durations",
+          "precision": "high",
+          "severity": "error",
+          "short_name": "ThreadObjectStorageDurationsNotInitialized",
+          "tags": [
+            "external/autosar/audit",
+            "correctness",
+            "concurrency"            
+          ]
         }
       ],
       "title": "Declare objects shared between threads with appropriate storage durations"