Page Information

Title:	EXP32-C. Do not access a volatile object through a nonvolatile reference
Author:	Admin	Aug 24, 2006
Last Changed by:	David Svoboda	May 05, 2025
Tiny Link: (useful for email)	https://wiki.sei.cmu.edu/confluence/x/HNcxBQ
Export As:	Word · PDF

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

SEI CERT C++ Coding Standard (1)     Page: EXP55-CPP. Do not access a cv-qualified object through a cv-unqualified type

Parent Page     Page: Rule 03. Expressions (EXP)

• not-for-cpp
• gcc
• compass/rose
• nptc
• android-applicable
• rose-complete
• rule
• exp
• nptc-aliasing
• nptc-wpa

Time	Editor
May 05, 2025 08:20	Caden Milne	View Changes
REM Cost Reform
Mar 04, 2025 15:17	Caden Milne	View Changes
Identify undefined behavior
Dec 11, 2024 00:34	Swasti Shrivastava	View Changes
Nov 25, 2024 12:10	Caden Milne	View Changes
Updated UB references from C11->C23
Oct 24, 2024 09:20	Caden Milne

External Links (10)
    https://wiki.sei.cmu.edu/confluence/display/c/AA.+Bibliogra…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    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/display/cplusplus/EXP55…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/display/c/How+this+Codi…
    https://wiki.sei.cmu.edu/confluence/display/c/AA.+Bibliogra…
    https://www.mathworks.com/help/bugfinder/ref/certcruleexp32…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…

SEI CERT C Coding Standard (29)     Page: Parasoft     Page: RuleChecker     Page: Klocwork     Page: GCC_V     Page: RuleChecker_V     Page: CC. Undefined Behavior     Page: Axivion Bauhaus Suite_V     Page: LDRA     Page: LDRA_V     Page: Clang     Page: GCC     Page: Helix QAC_V     Page: Rose     Page: Coverity_V     Page: Cppcheck Premium     Page: Coverity     Page: Astrée     Page: Clang_V     Page: AA. Bibliography     Page: Polyspace Bug Finder_V     Page: Polyspace Bug Finder     Page: Klocwork_V     Page: Parasoft_V     Page: BB. Definitions     Page: Helix QAC     Home page: SEI CERT C Coding Standard     Page: Axivion Bauhaus Suite     Page: Astrée_V     Page: Cppcheck Premium_V