Context- and path-sensitive memory leak detection
Authors:
Open Access
- 1 September 2005
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 30 (5) , 115-125
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Region-based shape analysis with tracked locations2005
- Low-overhead memory leak detection using adaptive statistical profiling2004
- Behavioral consistency of C and verilog programs using bounded model checking2003
- A practical flow-sensitive and context-sensitive C and C++ memory leak detector2003
- Finding bugs with a constraint solver2000
- Effective synchronization removal for Java2000
- SpC: synthesis of pointers in C1998
- Static detection of dynamic memory errors1996
- Context-sensitive interprocedural points-to analysis in the presence of function pointers1994
- A safe approximate algorithm for interprocedural aliasing1992