Page Information

Title:	CON31-C. Do not destroy a mutex while it is locked
Author:	pickettd	Apr 27, 2007
Last Changed by:	David Svoboda	May 05, 2025
Tiny Link: (useful for email)	https://wiki.sei.cmu.edu/confluence/x/LdYxBQ
Export As:	Word · PDF

Android (1)     Page: Unknown Applicability (C Rules/Recomendations)

SEI CERT C++ Coding Standard (1)     Page: CON50-CPP. Do not destroy a mutex while it is locked

Parent Page     Page: Rule 14. Concurrency (CON)

• not-for-cpp
• con
• nptc
• concurrency
• android-unknown
• rule
• cwe-667
• nptc-thread

Time	Editor
May 05, 2025 09:34	Swasti Shrivastava	View Changes
REM Cost Reform
Dec 12, 2024 01:41	Swasti Shrivastava	View Changes
Nov 12, 2024 09:39	Caden Milne	View Changes
Updated references from C11->C23
Oct 10, 2024 12:34	Swasti Shrivastava	View Changes
Oct 10, 2024 12:29	Swasti Shrivastava

External Links (10)
    https://www.mathworks.com/help/bugfinder/ref/certcrulecon31…
    https://www.kb.cert.org/vulnotes/bymetric?searchview&query=…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/display/c/Polyspace+Bug…
    https://wiki.sei.cmu.edu/confluence/display/c/How+this+Codi…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://cwe.mitre.org/data/index.html
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    cwe.mitre.org/data/definitions/667.html

SEI CERT C Coding Standard (14)     Page: AA. Bibliography     Page: CodeSonar_V     Page: CodeSonar     Page: Parasoft     Page: Helix QAC     Page: Astrée_V     Page: Polyspace Bug Finder_V     Page: Helix QAC_V     Page: Astrée     Home page: SEI CERT C Coding Standard     Page: Cppcheck Premium     Page: Parasoft_V     Page: Cppcheck Premium_V     Page: BB. Definitions