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

Celý popis

Podrobná bibliografie
Vydáno v:Software engineering notes. 30, 5 (2005).
Hlavní autor: Xie, Yichen
Médium: Článek
Jazyk:English
Témata:
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.