Title: MSC01-C. Strive for logical completeness  
Author: Robert C. Seacord Jun 17, 2006
Last Changed by: Jill Britton Apr 20, 2023
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 (25)
    https://pvs-studio.com/en/docs/warnings/v747/
    https://pvs-studio.com/en/docs/warnings/v612/
    https://pvs-studio.com/en/docs/warnings/v785/
    https://pvs-studio.com/en/docs/warnings/v696/
    https://www.kb.cert.org/vulnotes/bymetric?searchview&query=…
    https://www.sonarsource.com/products/codeanalyzers/sonarcfa…
    winjade.net/2009/01/lesson-on-infinite-loops/
    https://pvs-studio.com/en/docs/warnings/v533/
    https://pvs-studio.com/en/docs/warnings/v577/
    https://pvs-studio.com/en/docs/warnings/v535/
    https://pvs-studio.com/en/docs/warnings/v719/
    https://pvs-studio.com/en/docs/warnings/v517/
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/display/java/SEI+CERT+O…
    https://wiki.sei.cmu.edu/confluence/display/c/PVS-Studio
    https://pvs-studio.com/en/docs/warnings/v722/
    https://pvs-studio.com/en/docs/warnings/v786/
    https://pvs-studio.com/en/docs/warnings/v695/
    https://pvs-studio.com/en/docs/warnings/v590/
    https://www.sonarsource.com/products/codeanalyzers/sonarcfa…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://pvs-studio.com/en/docs/warnings/v556/
    https://www.mathworks.com/help/bugfinder/ref/certcrec.msc01…
    https://pvs-studio.com/en/docs/warnings/v534/
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
SEI CERT C++ Coding Standard (2)     Page: VOID MSC01-CPP. Strive for logical completeness
    Home page: SEI CERT C++ Coding Standard
SEI CERT Oracle Coding Standard for Java (1)     Page: MSC57-J. Strive for logical completeness
SEI CERT C Coding Standard (24)     Page: Rose
    Page: Helix QAC
    Home page: SEI CERT C Coding Standard
    Page: AA. Bibliography
    Page: BB. Definitions
    Page: Helix QAC_V
    Page: Parasoft_V
    Page: PC-lint Plus
    Page: PC-lint Plus_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