Title: DCL41-C. Do not declare variables inside a switch statement before the first case label  
Author: Raunak Rungta Nov 05, 2009
Last Changed by: David Svoboda May 06, 2025
Tiny Link: (useful for email) https://wiki.sei.cmu.edu/confluence/x/s9YxBQ
Export As: Word · PDF  
Hierarchy
Outgoing Links
External Links (12)
    https://wiki.sei.cmu.edu/confluence/display/c/Polyspace+Bug…
    https://pvs-studio.com/en/docs/warnings/v622/
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://www.mathworks.com/help/bugfinder/ref/certcruledcl41…
    https://wiki.sei.cmu.edu/confluence/display/c/How+this+Codi…
    https://wiki.sei.cmu.edu/confluence/display/c/AA.+Bibliogra…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/display/c/Cppcheck+Prem…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://taas.trust-in-soft.com/tsnippet/t/60b8a984
    https://wiki.sei.cmu.edu/confluence/display/c/PVS-Studio
    https://www.kb.cert.org/vulnotes/bymetric?searchview&query=…
SEI CERT C Coding Standard (32)     Page: Polyspace Bug Finder_V
    Page: CodeSonar
    Page: Coverity
    Page: AA. Bibliography
    Page: Parasoft_V
    Page: TrustInSoft Analyzer
    Page: Clang
    Page: BB. Definitions
    Page: Helix QAC_V
    Page: Klocwork_V
    Page: Clang_V
    Page: PVS-Studio_V
    Page: PC-lint Plus
    Page: CC. Undefined Behavior
    Page: Astrée
    Page: Axivion Bauhaus Suite_V
    Page: Klocwork
    Page: Parasoft
    Page: RuleChecker
    Page: RuleChecker_V
    Page: CodeSonar_V
    Page: Coverity_V
    Page: EXP33-C. Do not read uninitialized memory
    Page: Cppcheck Premium_V
    Page: LDRA_V
    Page: Astrée_V
    Page: LDRA
    Page: Axivion Bauhaus Suite
    Page: PC-lint Plus_V
    Page: Helix QAC
    Home page: SEI CERT C Coding Standard
    Page: TrustInSoft Analyzer_V