Page Information

Title:	EXP34-C. Do not dereference null pointers
Author:	Jeffrey Gennari	Oct 27, 2006
Last Changed by:	Francesco Mariani	Aug 06, 2025
Tiny Link: (useful for email)	https://wiki.sei.cmu.edu/confluence/x/QdcxBQ
Export As:	Word · PDF

SEI CERT Oracle Coding Standard for Java (1)     Page: EXP01-J. Do not use a null in a case where an object is required

SEI CERT C++ Coding Standard (4)     Page: OOP51-CPP. Do not slice derived objects     Page: OOP55-CPP. Do not use pointer-to-member operators to access nonexistent members     Page: MEM55-CPP. Honor replacement dynamic storage management requirements     Page: STR51-CPP. Do not attempt to create a std::string from a null pointer

SEI CERT C Coding Standard (2)     Page: MEM10-C. Define and use a pointer validation function     Page: CC. Undefined Behavior

Parent Page     Page: Rule 03. Expressions (EXP)

• ldra
• fortify
• compass/rose
• splint
• coverity
• cwe-476
• android-applicable
• ptc
• sidebar
• memory-management
• rose-complete
• rule
• exp
• klocwork
• in-cpp

Time	Editor
Aug 06, 2025 13:13	Francesco Mariani	View Changes
May 05, 2025 08:22	Swasti Shrivastava	View Changes
REM Cost Reform
Dec 11, 2024 00:51	Swasti Shrivastava	View Changes
Dec 11, 2024 00:35	Swasti Shrivastava	View Changes
Nov 04, 2024 09:22	David Svoboda

External Links (23)
    cwe.mitre.org/data/definitions/476.html
    https://wiki.sei.cmu.edu/confluence/display/java/EXP01-J.+D…
    https://www.mathworks.com/help/bugfinder/ref/certcruleexp34…
    https://www.sonarsource.com/products/codeanalyzers/sonarcfa…
    BB. Definitions#lvalue
    https://pvs-studio.com/en/docs/warnings/v595/
    https://pvs-studio.com/en/docs/warnings/v1004/
    https://wiki.sei.cmu.edu/confluence/display/c/AA.+Bibliogra…
    https://pvs-studio.com/en/docs/warnings/v522/
    https://pvs-studio.com/en/docs/warnings/v664/
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://pvs-studio.com/en/docs/warnings/v713/
    https://cwe.mitre.org/data/index.html
    https://taas.trust-in-soft.com/tsnippet/t/78360285
    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&query=…
    https://wiki.sei.cmu.edu/confluence/display/c/How+this+Codi…
    www.theregister.co.uk/2009/07/17/linux_kernel_exploit/
    https://wiki.sei.cmu.edu/confluence/display/c/PVS-Studio
    https://wiki.sei.cmu.edu/confluence/display/c/AA.+Bibliogra…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/display/java/SEI+CERT+O…

SEI CERT C Coding Standard (36)     Page: Astrée_V     Page: LDRA     Page: Klocwork_V     Page: Klocwork     Page: Polyspace Bug Finder_V     Page: Cppcheck     Page: CodeSonar     Page: Security Reviewer - Static Reviewer_V     Page: Axivion Bauhaus Suite     Page: Splint     Page: Axivion Bauhaus Suite_V     Page: PC-lint Plus_V     Page: BB. Definitions     Page: Helix QAC_V     Page: Polyspace Bug Finder     Page: Cppcheck Premium_V     Page: Coverity     Page: TrustInSoft Analyzer     Page: CodeSonar_V     Page: ERR33-C. Detect and handle standard library errors     Page: Cppcheck Premium     Page: PC-lint Plus     Home page: SEI CERT C Coding Standard     Page: Coverity_V     Page: Rose     Page: AA. Bibliography     Page: TrustInSoft Analyzer_V     Page: LDRA_V     Page: Helix QAC     Page: Astrée     Page: Parasoft     Page: Splint_V     Page: Parasoft_V     Page: Cppcheck_V     Page: PVS-Studio_V     Page: Security Reviewer - Static Reviewer