Title: PRE31-C. Avoid side effects in arguments to unsafe macros  
Author: Robert Seacord Sep 28, 2007
Last Changed by: Jill Britton Oct 09, 2023
Tiny Link: (useful for email) https://wiki.sei.cmu.edu/confluence/x/I9YxBQ
Export As: Word · PDF  
Hierarchy
Parent Page
    Page: Rule 01. Preprocessor (PRE)
Outgoing Links
External Links (8)
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    gcc.gnu.org/onlinedocs/gcc/Statement-Exprs.html
    gcc.gnu.org/onlinedocs/gcc/Typeof.html
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/display/c/How+this+Codi…
    https://www.mathworks.com/help/bugfinder/ref/certcrulepre31…
    https://www.kb.cert.org/vulnotes/bymetric?searchview&query=…
SEI CERT C Coding Standard (33)     Page: Coverity
    Page: INT32-C. Ensure that operations on signed integers do not result in overflow
    Page: PC-lint Plus
    Page: Polyspace Bug Finder_V
    Page: Parasoft_V
    Page: PRE12-C. Do not define unsafe macros
    Page: Axivion Bauhaus Suite
    Page: EXP44-C. Do not rely on side effects in operands to sizeof, _Alignof, or _Generic
    Page: MSC14-C. Do not introduce unnecessary platform dependencies
    Home page: SEI CERT C Coding Standard
    Page: Astrée_V
    Page: Polyspace Bug Finder
    Page: Helix QAC
    Page: PC-lint Plus_V
    Page: LDRA_V
    Page: CodeSonar
    Page: ECLAIR
    Page: Axivion Bauhaus Suite_V
    Page: AA. Bibliography
    Page: LDRA
    Page: Klocwork
    Page: Astrée
    Page: CodeSonar_V
    Page: RuleChecker
    Page: MSC11-C. Incorporate diagnostic tests using assertions
    Page: Coverity_V
    Page: Parasoft
    Page: BB. Definitions
    Page: Klocwork_V
    Page: PRE00-C. Prefer inline or static functions to function-like macros
    Page: ECLAIR_V
    Page: Helix QAC_V
    Page: RuleChecker_V