quewry

Author: jsinglet

c/cert/src/rules/CON31-C/DoNotAllowAMutexToGoOutOfScopeWhileLocked.md

@@ -0,0 +1,18 @@
+# CON31-C: Do not destroy a mutex while it is locked
+
+This query implements the CERT-C rule CON31-C:
+
+> Do not destroy a mutex while it is locked
+
+
+## CERT
+
+** REPLACE THIS BY RUNNING THE SCRIPT `scripts/help/cert-help-extraction.py` **
+
+## Implementation notes
+
+None
+
+## References
+
+* CERT-C: [CON31-C: Do not destroy a mutex while it is locked](https://wiki.sei.cmu.edu/confluence/display/c)

c/cert/src/rules/CON31-C/DoNotAllowAMutexToGoOutOfScopeWhileLocked.ql

@@ -0,0 +1,23 @@
+/**
+ * @id c/cert/do-not-allow-a-mutex-to-go-out-of-scope-while-locked
+ * @name CON31-C: Do not destroy a mutex while it is locked
+ * @description Allowing a mutex to go out of scope while it is locked removes protections around
+ *              shared resources.
+ * @kind problem
+ * @precision high
+ * @problem.severity error
+ * @tags external/cert/id/con31-c
+ *       correctness
+ *       concurrency
+ *       external/cert/obligation/rule
+ */
+
+import cpp
+import codingstandards.c.cert
+import codingstandards.cpp.rules.donotallowamutextogooutofscopewhilelocked.DoNotAllowAMutexToGoOutOfScopeWhileLocked
+
+class DoNotAllowAMutexToGoOutOfScopeWhileLockedQuery extends DoNotAllowAMutexToGoOutOfScopeWhileLockedSharedQuery {
+  DoNotAllowAMutexToGoOutOfScopeWhileLockedQuery() {
+    this = Concurrency3Package::doNotAllowAMutexToGoOutOfScopeWhileLockedQuery()
+  }
+}

c/cert/src/rules/CON31-C/DoNotDestroyAMutexWhileItIsLocked.md

@@ -0,0 +1,18 @@
+# CON31-C: Do not destroy a mutex while it is locked
+
+This query implements the CERT-C rule CON31-C:
+
+> Do not destroy a mutex while it is locked
+
+
+## CERT
+
+** REPLACE THIS BY RUNNING THE SCRIPT `scripts/help/cert-help-extraction.py` **
+
+## Implementation notes
+
+None
+
+## References
+
+* CERT-C: [CON31-C: Do not destroy a mutex while it is locked](https://wiki.sei.cmu.edu/confluence/display/c)

c/cert/src/rules/CON31-C/DoNotDestroyAMutexWhileItIsLocked.ql

@@ -0,0 +1,22 @@
+/**
+ * @id c/cert/do-not-destroy-a-mutex-while-it-is-locked
+ * @name CON31-C: Do not destroy a mutex while it is locked
+ * @description Calling delete on a locked mutex removes protections around shared resources.
+ * @kind problem
+ * @precision high
+ * @problem.severity error
+ * @tags external/cert/id/con31-c
+ *       correctness
+ *       concurrency
+ *       external/cert/obligation/rule
+ */
+
+import cpp
+import codingstandards.c.cert
+import codingstandards.cpp.rules.donotdestroyamutexwhileitislocked.DoNotDestroyAMutexWhileItIsLocked
+
+class DoNotDestroyAMutexWhileItIsLockedQuery extends DoNotDestroyAMutexWhileItIsLockedSharedQuery {
+  DoNotDestroyAMutexWhileItIsLockedQuery() {
+    this = Concurrency3Package::doNotDestroyAMutexWhileItIsLockedQuery()
+  }
+}