SEI CERT C Coding Standard

Space shortcuts

Page tree

Title: CON01-C. Acquire and release synchronization primitives in the same module, at the same level of abstraction  
Author: Unknown User (krishant) May 26, 2010
Last Changed by: Kris Kafka Mar 03, 2021
Tiny Link: (useful for email) https://wiki.sei.cmu.edu/confluence/x/r9YxBQ
Export As: Word · PDF  
Incoming Links
Android (1)
    Page: Unknown Applicability (C Rules/Recomendations)
Hierarchy
Parent Page
    Page: Rec. 14. Concurrency (CON)
Labels
Global Labels (3)
Recent Changes
Time Editor  
Mar 03, 2021 14:20 Kris Kafka View Changes
Added PC-lint Plus to Automated Detection Table
Aug 30, 2019 18:04 Anirban Gangopadhyay View Changes
Aug 09, 2018 17:07 Anirban Gangopadhyay View Changes
Aug 09, 2018 17:06 Anirban Gangopadhyay View Changes
Aug 06, 2018 07:01 Michal Rozenau  
Parasoft C/C++test 10.4
Outgoing Links
External Links (3)
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://www.mathworks.com/help/bugfinder/ref/certcrec.con01…
SEI CERT C Coding Standard (14)     Page: Astrée
    Page: Polyspace Bug Finder_V
    Page: Coverity
    Page: Parasoft
    Page: Parasoft_V
    Page: CodeSonar_V
    Page: AA. Bibliography
    Page: PC-lint Plus
    Page: PC-lint Plus_V
    Home page: SEI CERT C Coding Standard
    Page: Astrée_V
    Page: Polyspace Bug Finder
    Page: CodeSonar
    Page: BB. Definitions