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

Cijeli opis

Bibliografski detalji
Izdano u:Software engineering notes. 30, 5 (2005).
Glavni autor: Xie, Yichen
Format: Članak
Jezik:English
Teme:
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.