Memory Components White Papers
Context- and Path-Sensitive Memory Leak Detection
Overview This paper presents a context- and path-sensitive algorithm for detecting memory leaks in programs with explicit memory management. The 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. The authors achieve very precise context- and path-sensitivity by expressing their analysis using boolean constraints. In experiments with six large open source projects their analysis produced 510 warnings of which 455 were unique memory leaks, a false positive rate of only 10.8%. A parallel implementation improves performance by over an order of magnitude on large projects; over five million lines of code in the Linux kernel is analyzed in 50 minutes.
| Publisher | Association for Computing Machinery | File Format | |
|---|---|---|---|
| Date Published | September 2005 | ||
| Format | White Papers | ||
| Topics | |||
-
Did you find this white paper useful? 3 out of 5 users found this white paper useful
White Paper RSS
Download
