Context- and path-sensitive memory leak detection.

Context- and path-sensitive memory leak detection.

We present a context- and path-sensitive algorithm for detecting memory leaks in programs with explicit memory management. Our leak detection algorithm is based on an underlying escape analysis: any allocated location in a procedure P that is not deallocated in P and does not escape from P is leaked...

Volledige beschrijving

Bibliografische gegevens
Gepubliceerd in:Software engineering notes. 30, 5 (2005).
Hoofdauteur: Xie, Yichen
Formaat: Artikel
Taal:English
Onderwerpen:
Software.
Software engineering.
Software / Program Verification.
Coding tools and techniques.
Testing and debugging.
Algorithms.
Experimentation.
Languages.
Verification.
Boolean satisfiability.
Error detection.
Memory leaks.
Memory management.
Program analysis.