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

Полное описание

Библиографические подробности

Опубликовано в::	Software engineering notes. 30, 5 (2005).
Главный автор:	Xie, Yichen
Формат:	Статья
Язык:	English
Предметы:	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.