Page Information

Title:	CON51-CPP. Ensure actively held locks are released on exceptional conditions
Author:	David Keaton	Feb 03, 2016
Last Changed by:	David Svoboda	Jun 25, 2025
Tiny Link: (useful for email)	https://wiki.sei.cmu.edu/confluence/x/Xns-BQ
Export As:	Word · PDF

Parent Page     Page: Rule 10. Concurrency (CON)

• android-unknown
• review-dms
• con
• review
• rule
• no-autodetect
• review-ajb
• cwe-667
• ptc

Time	Editor
Jun 25, 2025 13:20	Amy Gale	View Changes
REM Cost Reform
Jan 30, 2025 21:31	Amy Gale	View Changes
Localize CodeSonar crossreferences to C++ scope
Dec 01, 2023 16:23	Anirban Gangopadhyay	View Changes
Dec 01, 2023 16:19	Anirban Gangopadhyay	View Changes
Dec 01, 2023 16:19	Anirban Gangopadhyay

External Links (8)
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    cwe.mitre.org/
    https://www.kb.cert.org/vulnotes/bymetric?searchview&query=…
    https://wiki.sei.cmu.edu/confluence/display/cplusplus/Polys…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://www.mathworks.com/help/bugfinder/ref/certccon51cpp.…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    cwe.mitre.org/data/definitions/667.html

SEI CERT C Coding Standard (1)     Home page: SEI CERT C Coding Standard

SEI CERT Oracle Coding Standard for Java (2)     Home page: SEI CERT Oracle Coding Standard for Java     Page: LCK08-J. Ensure actively held locks are released on exceptional conditions

SEI CERT C++ Coding Standard (10)     Page: AA. Bibliography     Page: Helix QAC_V     Page: BB. Definitions     Page: Parasoft_V     Page: CodeSonar     Page: Polyspace Bug Finder_V     Page: Parasoft     Page: CodeSonar_V     Page: Helix QAC     Page: ERR56-CPP. Guarantee exception safety