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

Mô tả đầy đủ

Chi tiết về thư mục
Xuất bản năm:Software engineering notes. 30, 5 (2005).
Tác giả chính: Xie, Yichen
Định dạng: Bài viết
Ngôn ngữ:English
Những chủ đề:
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.