rf

Author: jsinglet

c/cert/src/rules/CON38-C/PreserveSafetyWhenUsingConditionVariables.md

@@ -0,0 +1,16 @@
+# CON38-C: Preserve thread safety and liveness when using condition variables
+
+This query implements the CERT-C rule CON38-C:
+
+> Preserve thread safety and liveness when using condition variables
+## CERT
+
+** REPLACE THIS BY RUNNING THE SCRIPT `scripts/help/cert-help-extraction.py` **
+
+## Implementation notes
+
+None
+
+## References
+
+* CERT-C: [CON38-C: Preserve thread safety and liveness when using condition variables](https://wiki.sei.cmu.edu/confluence/display/c)

c/cert/src/rules/CON38-C/PreserveSafetyWhenUsingConditionVariables.ql

@@ -0,0 +1,23 @@
+/**
+ * @id c/cert/preserve-safety-when-using-condition-variables
+ * @name CON38-C: Preserve thread safety and liveness when using condition variables
+ * @description Usages of `cnd_signal` with non-unique condition variables may impact thread safety
+ *              and liveness.
+ * @kind problem
+ * @precision very-high
+ * @problem.severity error
+ * @tags external/cert/id/con38-c
+ *       correctness
+ *       concurrency
+ *       external/cert/obligation/rule
+ */
+
+import cpp
+import codingstandards.c.cert
+import codingstandards.cpp.rules.preservesafetywhenusingconditionvariables.PreserveSafetyWhenUsingConditionVariables
+
+class PreserveSafetyWhenUsingConditionVariablesQuery extends PreserveSafetyWhenUsingConditionVariablesSharedQuery {
+  PreserveSafetyWhenUsingConditionVariablesQuery() {
+    this = Concurrency3Package::preserveSafetyWhenUsingConditionVariablesQuery()
+  }
+}