work

Author: jsinglet

cpp/common/src/codingstandards/cpp/Concurrency.qll

@@ -806,3 +806,22 @@ class ConditionalFunction extends Function {
     exists(ConditionalVariable cv | cv.getAnAccess().getEnclosingFunction() = this)
   }
 }
+
+/**
+ * Models calls to thread specific storage function calls.
+ */
+abstract class ThreadSpecificStorageFunctionCall extends FunctionCall { }
+
+/**
+ * Models calls to `tss_get`.
+ */
+class TSSGetFunctionCall extends ThreadSpecificStorageFunctionCall {
+  TSSGetFunctionCall() { getTarget().getName() = "tss_get" }
+}
+
+/**
+ * Models calls to `tss_set`.
+ */
+class TSSSetFunctionCall extends ThreadSpecificStorageFunctionCall {
+  TSSSetFunctionCall() { getTarget().getName() = "tss_set" }
+}

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

@@ -6,6 +6,7 @@ import codingstandards.cpp.exclusions.RuleMetadata
 newtype Concurrency4Query =
   TCleanUpThreadSpecificStorageQuery() or
   TAppropriateThreadObjectStorageDurationsQuery() or
+  TThreadObjectStorageDurationsNotInitializedQuery() or
   TThreadWasPreviouslyJoinedOrDetachedQuery() or
   TDoNotReferToAnAtomicVariableTwiceInExpressionQuery()
 
@@ -26,6 +27,14 @@ predicate isConcurrency4QueryMetadata(Query query, string queryId, string ruleId
     "c/cert/appropriate-thread-object-storage-durations" and
   ruleId = "CON34-C"
   or
+  query =
+    // `Query` instance for the `threadObjectStorageDurationsNotInitialized` query
+    Concurrency4Package::threadObjectStorageDurationsNotInitializedQuery() and
+  queryId =
+    // `@id` for the `threadObjectStorageDurationsNotInitialized` query
+    "c/cert/thread-object-storage-durations-not-initialized" and
+  ruleId = "CON34-C"
+  or
   query =
     // `Query` instance for the `threadWasPreviouslyJoinedOrDetached` query
     Concurrency4Package::threadWasPreviouslyJoinedOrDetachedQuery() and
@@ -58,6 +67,13 @@ module Concurrency4Package {
       TQueryC(TConcurrency4PackageQuery(TAppropriateThreadObjectStorageDurationsQuery()))
   }
 
+  Query threadObjectStorageDurationsNotInitializedQuery() {
+    //autogenerate `Query` type
+    result =
+      // `Query` type for `threadObjectStorageDurationsNotInitialized` query
+      TQueryC(TConcurrency4PackageQuery(TThreadObjectStorageDurationsNotInitializedQuery()))
+  }
+
   Query threadWasPreviouslyJoinedOrDetachedQuery() {
     //autogenerate `Query` type
     result =