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...

Full description

Bibliographic Details
Published in:Software engineering notes. 30, 5 (2005).
Main Author: Xie, Yichen
Format: Article
Language:English
Subjects:
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.