Page Information

Title:	MSC12-C. Detect and remove code that has no effect or is never executed
Author:	Jeffrey Gennari	Jun 14, 2007
Last Changed by:	Francesco Mariani	Aug 31, 2025
Tiny Link: (useful for email)	https://wiki.sei.cmu.edu/confluence/x/5dUxBQ
Export As:	Word · PDF

SEI CERT C Coding Standard (3)     Page: MSC07-C. Detect and remove dead code     Page: EXP19-C. Use braces for the body of an if, for, or while statement     Page: MSC13-C. Detect and remove unused values

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

• ldra
• gcc
• splint
• coverity
• android-applicable
• rose-gcc
• recommendation
• msc
• klocwork

Time	Editor
Aug 31, 2025 05:13	Francesco Mariani	View Changes
Jul 21, 2025 18:11	Amy Gale	View Changes
Added entry for new CodeSonar warning class
May 20, 2025 09:24	Amy Gale	View Changes
REM Cost Reform
Jan 30, 2025 00:10	Amy Gale	View Changes
Update CodeSonar mapping info
Jan 19, 2025 17:54	Michal Rozenau
Parasoft C/C++test 2024.2

External Links (26)
    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.sonarsource.com/products/codeanalyzers/sonarcfa…
    https://pvs-studio.com/en/docs/warnings/v649/
    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://pvs-studio.com/en/docs/warnings/v779/
    https://pvs-studio.com/en/docs/warnings/v551/
    opensource.apple.com/source/Security/Security-55471/libsecu…
    https://www.sonarsource.com/products/codeanalyzers/sonarcfa…
    https://www.sonarsource.com/products/codeanalyzers/sonarcfa…
    https://pvs-studio.com/en/docs/warnings/v606/
    https://www.sonarsource.com/products/codeanalyzers/sonarcfa…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/display/c/PVS-Studio
    https://www.sonarsource.com/products/codeanalyzers/sonarcfa…

SEI CERT C Coding Standard (35)     Page: RuleChecker_V     Page: Coverity_V     Page: BB. Definitions     Page: PVS-Studio_V     Page: Security Reviewer - Static Reviewer     Page: CodeSonar     Page: Splint_V     Page: LDRA_V     Page: AA. Bibliography     Page: LDRA     Page: PC-lint Plus_V     Page: Polyspace Bug Finder_V     Page: Astrée     Page: EXP00-C. Use parentheses for precedence of operation     Page: ECLAIR_V     Page: Klocwork     Page: Security Reviewer - Static Reviewer_V     Page: MSC04-C. Use comments consistently and in a readable fashion     Page: CodeSonar_V     Page: Parasoft     Page: RuleChecker     Page: Helix QAC_V     Page: MSC01-C. Strive for logical completeness     Page: Klocwork_V     Page: PC-lint Plus     Page: GCC     Page: Parasoft_V     Page: MSC00-C. Compile cleanly at high warning levels     Page: Coverity     Page: Polyspace Bug Finder     Page: Helix QAC     Page: ECLAIR     Home page: SEI CERT C Coding Standard     Page: Splint     Page: Astrée_V

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