Title: MSC12-C. Detect and remove code that has no effect or is never executed  
Author: Jeff Gennari Jun 14, 2007
Last Changed by: Jon O'Donnell Dec 09, 2019
Tiny Link: (useful for email) https://wiki.sei.cmu.edu/confluence/x/5dUxBQ
Export As: Word · PDF  
Hierarchy
Parent Page
    Page: Rec. 48. Miscellaneous (MSC)
Outgoing Links
External Links (27)
    https://www.viva64.com/en/w/v551/
    https://www.sonarsource.com/products/codeanalyzers/sonarcfa…
    https://www.sonarsource.com/products/codeanalyzers/sonarcfa…
    https://www.imperialviolet.org/2014/02/22/applebug.html
    web.nvd.nist.gov/view/vuln/detail?vulnId=CVE-2014-1266
    https://www.sonarsource.com/products/codeanalyzers/sonarcfa…
    https://www.mathworks.com/help/bugfinder/ref/certcrec.msc12…
    https://www.sonarsource.com/products/codeanalyzers/sonarcfa…
    https://www.kb.cert.org/vulnotes/bymetric?searchview&query=…
    https://www.sonarsource.com/products/codeanalyzers/sonarcfa…
    https://www.viva64.com/en/w/v649/
    https://www.sonarsource.com/products/codeanalyzers/sonarcfa…
    gcc.gnu.org/onlinedocs/gcc-3.0.4/gcc_3.html#IDX161
    https://www.sonarsource.com/products/codeanalyzers/sonarcfa…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    gcc.gnu.org/onlinedocs/gcc-3.0.4/gcc_3.html#IDX163
    https://support.roguewave.com/documentation/klocwork/en/cur…
    opensource.apple.com/source/Security/Security-55471/libsecu…
    https://www.viva64.com/en/w/v779/
    https://www.sonarsource.com/products/codeanalyzers/sonarcfa…
    https://www.sonarsource.com/products/codeanalyzers/sonarcfa…
    https://www.sonarsource.com/products/codeanalyzers/sonarcfa…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://www.viva64.com/en/w/v606/
    https://wiki.sei.cmu.edu/confluence/display/c/PVS-Studio
    https://www.sonarsource.com/products/codeanalyzers/sonarcfa…
SEI CERT C++ Coding Standard (2)     Page: VOID MSC12-CPP. Detect and remove code that has no effect
    Home page: SEI CERT C++ Coding Standard
SEI CERT C Coding Standard (31)     Page: RuleChecker_V
    Page: Coverity_V
    Page: BB. Definitions
    Page: PVS-Studio_V
    Page: CodeSonar
    Page: Splint_V
    Page: LDRA_V
    Page: PRQA QA-C
    Page: AA. Bibliography
    Page: LDRA
    Page: Polyspace Bug Finder_V
    Page: Astrée
    Page: EXP00-C. Use parentheses for precedence of operation
    Page: ECLAIR_V
    Page: Klocwork
    Page: MSC04-C. Use comments consistently and in a readable fashion
    Page: CodeSonar_V
    Page: Parasoft
    Page: RuleChecker
    Page: MSC01-C. Strive for logical completeness
    Page: Klocwork_V
    Page: GCC
    Page: Parasoft_V
    Page: MSC00-C. Compile cleanly at high warning levels
    Page: Coverity
    Page: Polyspace Bug Finder
    Page: ECLAIR
    Home page: SEI CERT C Coding Standard
    Page: Splint
    Page: Astrée_V
    Page: PRQA QA-C_v