Page Information

Title:	EXP43-C. Avoid undefined behavior when using restrict-qualified pointers
Author:	Robert Seacord	Oct 08, 2013
Last Changed by:	Richard W. Laughlin	May 29, 2025
Tiny Link: (useful for email)	https://wiki.sei.cmu.edu/confluence/x/N9UxBQ
Export As:	Word · PDF

SEI CERT C Coding Standard (1)     Page: CC. Undefined Behavior

Parent Page     Page: Rule 03. Expressions (EXP)

• not-for-cpp
• nptc
• android-applicable
• rule
• exp
• nptc-aliasing

Time	Editor
May 29, 2025 10:04	Richard W. Laughlin	View Changes
Removed references to Annex K.
May 05, 2025 08:29	Caden Milne	View Changes
REM Cost Reform
Mar 04, 2025 15:38	Caden Milne	View Changes
Identify undefined behavior
Dec 11, 2024 00:37	Swasti Shrivastava	View Changes
Nov 25, 2024 10:54	Caden Milne
Updated UB references from C11->C23

External Links (15)
    https://wiki.sei.cmu.edu/confluence/display/c/AA.+Bibliogra…
    https://wiki.sei.cmu.edu/confluence/display/c/SEI+CERT+C+Co…
    gcc.gnu.org/
    https://www.sonarsource.com/products/codeanalyzers/sonarcfa…
    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://gcc.gnu.org/onlinedocs/gcc-8.1.0/gcc/Warning-Option…
    https://www.kb.cert.org/vulnotes/bymetric?searchview&query=…
    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/FIO30-C.+Excl…
    https://wiki.sei.cmu.edu/confluence/display/c/AA.+Bibliogra…
    https://www.mathworks.com/help/bugfinder/ref/certcruleexp43…
    https://gcc.gnu.org/gcc-8

SEI CERT C Coding Standard (27)     Page: FIO30-C. Exclude user input from format strings     Page: Cppcheck Premium_V     Page: RuleChecker     Page: LDRA_V     Page: BB. Definitions     Page: Klocwork     Page: CC. Undefined Behavior     Page: Parasoft     Page: CodeSonar_V     Page: Astrée     Page: Helix QAC_V     Page: RuleChecker_V     Page: PC-lint Plus     Page: Cppcheck Premium     Page: Parasoft_V     Page: Klocwork_V     Page: Coverity     Page: Coverity_V     Page: AA. Bibliography     Page: CodeSonar     Page: Helix QAC     Page: Polyspace Bug Finder     Page: Astrée_V     Page: Polyspace Bug Finder_V     Page: LDRA     Home page: SEI CERT C Coding Standard     Page: PC-lint Plus_V