Page Information

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

SEI CERT C Coding Standard (4)     Page: EXP33-C. Do not read uninitialized memory     Page: MSC12-C. Detect and remove code that has no effect or is never executed     Page: MSC17-C. Finish every set of statements associated with a case label with a break statement     Page: MSC07-C. Detect and remove dead code

SEI CERT Oracle Coding Standard for Java (1)     Page: MSC57-J. Strive for logical completeness

Parent Page     Page: Rec. 48. Miscellaneous (MSC)

• code-defect
• update-checker
• android-applicable
• rose-partial
• recommendation
• msc
• klocwork

Time	Editor
Apr 20, 2023 06:17	Jill Britton	View Changes
Apr 27, 2022 08:55	Jill Britton	View Changes
Dec 09, 2021 10:41	Jill Britton	View Changes
Jun 25, 2021 03:39	Svyatoslav Razmyslov	View Changes
Jun 25, 2021 03:38	Svyatoslav Razmyslov

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 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

SEI CERT Oracle Coding Standard for Java (1)     Page: MSC57-J. Strive for logical completeness