Title: PRE31-C. Avoid side effects in arguments to unsafe macros  
Author: Robert Seacord Sep 28, 2007
Last Changed by: Anirban Gangopadhyay Aug 30, 2019
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 (9)
    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://www.kb.cert.org/vulnotes/bymetric?searchview&qu…
    https://wiki.sei.cmu.edu/confluence/display/c/How+this+Codi…
    https://www.mathworks.com/help/bugfinder/ref/certcrulepre31…
    https://www.securecoding.cert.org/confluence/pages/viewpage…
SEI CERT C Coding Standard (23)     Page: Coverity
    Page: INT32-C. Ensure that operations on signed integers do not result in overflow
    Page: Polyspace Bug Finder_V
    Page: Parasoft_V
    Page: PRQA QA-C_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
    Page: PRQA QA-C
    Home page: SEI CERT C Coding Standard
    Page: Polyspace Bug Finder
    Page: LDRA_V
    Page: ECLAIR
    Page: Axivion Bauhaus Suite_V
    Page: AA. Bibliography
    Page: LDRA
    Page: MSC11-C. Incorporate diagnostic tests using assertions
    Page: Coverity_V
    Page: Parasoft
    Page: BB. Definitions
    Page: PRE00-C. Prefer inline or static functions to function-like macros
    Page: ECLAIR_V
SEI CERT C++ Coding Standard (1)     Page: PRQA QA-C++_V