Page Information

Title:	MEM01-C. Store a new value in pointers immediately after free()
Author:	Robert C. Seacord	Jun 20, 2006
Last Changed by:	Anirban Gangopadhyay	Aug 30, 2019
Tiny Link: (useful for email)	https://wiki.sei.cmu.edu/confluence/x/FNYxBQ
Export As:	Word · PDF

Parent Page     Page: Rec. 08. Memory Management (MEM)

• compass/rose
• coverity
• android-applicable
• rose-complete
• recommendation
• mem

Time	Editor
Aug 30, 2019 17:47	Anirban Gangopadhyay	View Changes
Oct 16, 2018 07:17	Joerg Herter	View Changes
Oct 05, 2018 12:16	Aleksandr Karbyshev	View Changes
Added Axivion Bauhaus entry to Automated Detection table
Aug 09, 2018 16:44	Anirban Gangopadhyay	View Changes
Aug 06, 2018 06:33	Michal Rozenau
Parasoft C/C++test 10.4

External Links (9)
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/display/c/Polyspace+Bug…
    https://www.kb.cert.org/vulnotes/bymetric?searchview&query=…
    cwe.mitre.org/
    cwe.mitre.org/data/definitions/415.html
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    cwe.mitre.org/data/definitions/416.html
    https://www.mathworks.com/help/bugfinder/ref/certcrec.mem01…

SEI CERT C++ Coding Standard (2)     Home page: SEI CERT C++ Coding Standard     Page: VOID MEM01-CPP. Store a valid value in pointers immediately after deallocation

SEI CERT C Coding Standard (17)     Page: Rose     Page: LDRA     Page: Parasoft_V     Page: Parasoft     Page: Astrée     Page: Coverity     Page: Coverity_V     Page: CodeSonar_V     Page: BB. Definitions     Page: LDRA_V     Page: AA. Bibliography     Page: CodeSonar     Page: Axivion Bauhaus Suite_V     Page: Polyspace Bug Finder_V     Page: Axivion Bauhaus Suite     Home page: SEI CERT C Coding Standard     Page: Astrée_V