Page Information

Title:	MSC20-C. Do not use a switch statement to transfer control into a complex block
Author:	David Svoboda	Apr 15, 2009
Last Changed by:	Jill Britton	Apr 20, 2023
Tiny Link: (useful for email)	https://wiki.sei.cmu.edu/confluence/x/zdYxBQ
Export As:	Word · PDF

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

• rose-possible
• android-applicable
• recommendation
• msc

Time	Editor
Apr 20, 2023 06:21	Jill Britton	View Changes
Apr 26, 2021 04:35	Jill Britton	View Changes
Apr 21, 2021 05:39	Jill Britton	View Changes
Apr 20, 2021 06:54	Jill Britton	View Changes
Feb 28, 2021 15:47	Kris Kafka
Added PC-lint Plus to Automated Detection Table

External Links (10)
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    AA.%20Bibliography#Duff%2088
    AA. Bibliography#Duff 88
    www.lysator.liu.se/c/duffs-device.html
    https://www.mathworks.com/help/bugfinder/ref/certcrec.msc20…
    https://wiki.sei.cmu.edu/confluence/display/c/Polyspace+Bug…
    BB. Definitions#implementation
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://www.sonarsource.com/products/codeanalyzers/sonarcfa…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…

SEI CERT C Coding Standard (18)     Page: Helix QAC     Page: Helix QAC_V     Page: PC-lint Plus_V     Page: MSC17-C. Finish every set of statements associated with a case label with a break statement     Page: Polyspace Bug Finder_V     Page: CodeSonar     Page: AA. Bibliography     Page: LDRA_V     Page: ECLAIR     Page: LDRA     Home page: SEI CERT C Coding Standard     Page: RuleChecker     Page: Astrée_V     Page: CodeSonar_V     Page: PC-lint Plus     Page: Astrée     Page: RuleChecker_V     Page: ECLAIR_V

SEI CERT C++ Coding Standard (2)     Home page: SEI CERT C++ Coding Standard     Page: VOID MSC20-CPP. Do not use a switch statement to transfer control into a complex block