Title: MSC01-C. Strive for logical completeness  
Author: Robert C. Seacord Jun 17, 2006
Last Changed by: Anirban Gangopadhyay Sep 04, 2019
Tiny Link: (useful for email) https://wiki.sei.cmu.edu/confluence/x/RtYxBQ
Export As: Word · PDF  
Hierarchy
Parent Page
    Page: Rec. 48. Miscellaneous (MSC)
Outgoing Links
External Links (29)
    https://www.viva64.com/en/w/v786/
    https://www.viva64.com/en/w/v556/
    https://www.viva64.com/en/w/v722/
    https://www.viva64.com/en/w/v534/
    https://www.viva64.com/en/w/v560/
    https://www.kb.cert.org/vulnotes/bymetric?searchview&query=…
    https://support.roguewave.com/documentation/klocwork/en/cur…
    https://www.viva64.com/en/w/v695/
    https://www.sonarsource.com/products/codeanalyzers/sonarcfa…
    https://www.viva64.com/en/w/v590/
    winjade.net/2009/01/lesson-on-infinite-loops/
    https://www.viva64.com/en/w/v517/
    https://www.viva64.com/en/w/v719/
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://www.viva64.com/en/w/v535/
    https://www.viva64.com/en/w/v612/
    https://www.viva64.com/en/w/v547/
    https://wiki.sei.cmu.edu/confluence/display/java/SEI+CERT+O…
    https://wiki.sei.cmu.edu/confluence/display/c/PVS-Studio
    https://www.viva64.com/en/w/v785/
    https://www.viva64.com/en/w/v747/
    https://www.viva64.com/en/w/v696/
    https://www.viva64.com/en/w/v533/
    https://www.viva64.com/en/w/v577/
    https://www.viva64.com/en/w/v600/
    https://www.sonarsource.com/products/codeanalyzers/sonarcfa…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://www.mathworks.com/help/bugfinder/ref/certcrec.msc01…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
SEI CERT Oracle Coding Standard for Java (1)     Page: MSC57-J. Strive for logical completeness
SEI CERT C++ Coding Standard (2)     Page: VOID MSC01-CPP. Strive for logical completeness
    Home page: SEI CERT C++ Coding Standard
SEI CERT C Coding Standard (22)     Page: Rose
    Page: PRQA QA-C
    Home page: SEI CERT C Coding Standard
    Page: AA. Bibliography
    Page: BB. Definitions
    Page: Parasoft_V
    Page: PRQA QA-C_v
    Page: Astrée_V
    Page: GCC_V
    Page: Polyspace Bug Finder
    Page: Polyspace Bug Finder_V
    Page: MSC07-C. Detect and remove dead code
    Page: LDRA
    Page: Astrée
    Page: LDRA_V
    Page: Klocwork
    Page: RuleChecker
    Page: Parasoft
    Page: Klocwork_V
    Page: GCC
    Page: PVS-Studio_V
    Page: RuleChecker_V