SEI CERT C Coding Standard

Space shortcuts

Page tree

Title: MEM01-C. Store a new value in pointers immediately after free()  
Author: Robert C. Seacord Jun 20, 2006
Last Changed by: Jill Britton Jul 24, 2025
Tiny Link: (useful for email) https://wiki.sei.cmu.edu/confluence/x/FNYxBQ
Export As: Word · PDF  
Hierarchy
Parent Page
    Page: Rec. 08. Memory Management (MEM)
Labels
Global Labels (6)
Recent Changes
Time Editor  
Jul 24, 2025 10:59 Jill Britton View Changes
May 20, 2025 08:01 David Svoboda View Changes
REM Cost Reform
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  
Added Axivion Bauhaus entry to Automated Detection table
Outgoing Links
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 (19)     Page: Rose
    Page: LDRA
    Page: Parasoft_V
    Page: Parasoft
    Page: Astrée
    Page: Coverity
    Page: Coverity_V
    Page: CodeSonar_V
    Page: BB. Definitions
    Page: Helix QAC_V
    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
    Page: Helix QAC