rf

Author: jsinglet

cpp/cert/src/rules/CON55-CPP/PreserveThreadSafetyAndLivenessWhenUsingConditionVariables.md renamed to cpp/cert/src/rules/CON55-CPP/PreserveSafetyWhenUsingConditionVariables.md

@@ -0,0 +1,23 @@
+/**
+ * @id cpp/cert/preserve-safety-when-using-condition-variables
+ * @name CON55-CPP: Preserve thread safety and liveness when using condition variables
+ * @description Usage of `notify_one` within a thread can lead to potential deadlocks and liveness
+ *              problems.
+ * @kind problem
+ * @precision high
+ * @problem.severity error
+ * @tags external/cert/id/con55-cpp
+ *       correctness
+ *       concurrency
+ *       external/cert/obligation/rule
+ */
+
+import cpp
+import codingstandards.cpp.cert
+import codingstandards.cpp.rules.preservesafetywhenusingconditionvariables.PreserveSafetyWhenUsingConditionVariables
+
+class PreserveSafetyWhenUsingConditionVariablesQuery extends PreserveSafetyWhenUsingConditionVariablesSharedQuery {
+  PreserveSafetyWhenUsingConditionVariablesQuery() {
+    this = ConcurrencyPackage::preserveSafetyWhenUsingConditionVariablesQuery()
+  }
+}