Title: EXP19-C. Use braces for the body of an if, for, or while statement  
Author: Unknown User (josephlu) Mar 04, 2010
Last Changed by: Jill Britton Apr 20, 2023
Tiny Link: (useful for email) https://wiki.sei.cmu.edu/confluence/x/g9YxBQ
Export As: Word · PDF  
Hierarchy
Parent Page
    Page: Rec. 03. Expressions (EXP)
Outgoing Links
External Links (15)
    https://pvs-studio.com/en/docs/warnings/v563/
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://www.sonarsource.com/products/codeanalyzers/sonarcfa…
    https://pvs-studio.com/en/docs/warnings/v640/
    www.gnu.org/prep/standards/standards.html#Syntactic-Convent…
    web.nvd.nist.gov/view/vuln/detail?vulnId=CVE-2014-1266
    https://www.mathworks.com/help/bugfinder/ref/certcrec.exp19…
    opensource.apple.com/source/Security/Security-55471/libsecu…
    https://wiki.sei.cmu.edu/confluence/display/c/Polyspace+Bug…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/display/c/PVS-Studio
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://pvs-studio.com/en/docs/warnings/v628/
    https://pvs-studio.com/en/docs/warnings/v705/
    https://www.imperialviolet.org/2014/02/22/applebug.html
SEI CERT C Coding Standard (23)     Page: Klocwork
    Page: Astrée
    Page: Parasoft
    Page: RuleChecker
    Page: Klocwork_V
    Page: MSC12-C. Detect and remove code that has no effect or is never executed
    Page: Parasoft_V
    Page: PC-lint Plus
    Page: PVS-Studio_V
    Page: Helix QAC_V
    Page: RuleChecker_V
    Page: AA. Bibliography
    Page: PRE11-C. Do not conclude macro definitions with a semicolon
    Page: Helix QAC
    Page: Axivion Bauhaus Suite
    Page: LDRA_V
    Page: Astrée_V
    Page: LDRA
    Home page: SEI CERT C Coding Standard
    Page: PC-lint Plus_V
    Page: Axivion Bauhaus Suite_V
    Page: PRE10-C. Wrap multistatement macros in a do-while loop
    Page: Polyspace Bug Finder_V