Page Information

Title:	EXP43-C. Avoid undefined behavior when using restrict-qualified pointers
Author:	Robert Seacord	Oct 08, 2013
Last Changed by:	Caden Milne	Nov 01, 2024
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
Nov 01, 2024 13:36	Caden Milne	View Changes
Updated references from C11->C23
Oct 10, 2024 13:07	Swasti Shrivastava	View Changes
Oct 10, 2024 12:53	Swasti Shrivastava	View Changes
Apr 20, 2023 05:11	Jill Britton	View Changes
Nov 30, 2021 10:11	Jill Britton

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