About this document
Memory Leak Analysyis by yogitiw is a document available to read on EtoBox.
The document presents a novel memory leak detection algorithm that uses backward heap analysis to disprove the presence of memory leaks by assuming their existence. This approach has been implemented in a tool that analyzes C programs, successfully identifying memory leaks in various routines and larger programs from the SPEC2000 suite. The analysis can operate on incomplete programs and provides insights into memory management by classifying leaks based on heap cell properties.
- Author
- yogitiw
- Language
- EN