Context- and path-sensitive memory leak detection
- 1 September 2005
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
- Vol. 30 (5), 115-125
- https://doi.org/10.1145/1095430.1081728
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- Region-based shape analysis with tracked locationsPublished by Association for Computing Machinery (ACM) ,2005
- Low-overhead memory leak detection using adaptive statistical profilingPublished by Association for Computing Machinery (ACM) ,2004
- Behavioral consistency of C and verilog programs using bounded model checkingPublished by Association for Computing Machinery (ACM) ,2003
- A practical flow-sensitive and context-sensitive C and C++ memory leak detectorPublished by Association for Computing Machinery (ACM) ,2003
- Finding bugs with a constraint solverPublished by Association for Computing Machinery (ACM) ,2000
- Effective synchronization removal for JavaPublished by Association for Computing Machinery (ACM) ,2000
- SpC: synthesis of pointers in CPublished by Association for Computing Machinery (ACM) ,1998
- Static detection of dynamic memory errorsPublished by Association for Computing Machinery (ACM) ,1996
- Context-sensitive interprocedural points-to analysis in the presence of function pointersPublished by Association for Computing Machinery (ACM) ,1994
- A safe approximate algorithm for interprocedural aliasingPublished by Association for Computing Machinery (ACM) ,1992