...
Tool | Version | Checker | Description | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Section | |
| 51 D section | Fully Implementedsectionimplemented. | ||||||||
Fortify SCA section | V. 5.0 |
| section | |||||||||
Splint |
|
| section | |||||||||
Compass/ROSE |
|
| section | |||||||||
| USE_AFTER_FREE | | Section | Can detect the specific instances where Memorymemory is deallocated more than once or Readread/ Write towritten to the target of a freed pointer section. | |||||||||
| UFM.DEREF.MIGHT |
|
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...
ISO/IEC TR 24772 "DCM Dangling references to stack frames" and "XYK Dangling Reference reference to Heapheap"
MISRA Rule 17.6
MITRE CWE: CWE-416, "Use After Freeafter free"
Bibliography
[Kernighan 1988] Section 7.8.5, "Storage Managementmanagement"
[OWASP Freed Memory]
[Seacord 2005a] Chapter 4, "Dynamic Memory Management"
[Viega 2005] Section 5.2.19, "Using freed memory"
[xorl 2009] "CVE-2009-1364: LibWMF Pointer Use after free()"
...