A practical flow-sensitive and context-sensitive C and C++ memory leak detector
- 9 May 2003
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 38 (5), 168-181
- https://doi.org/10.1145/781131.781150
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- Region-based memory management in cyclonePublished by Association for Computing Machinery (ACM) ,2002
- Adoption and focusPublished by Association for Computing Machinery (ACM) ,2002
- Alias annotations for program understandingPublished by Association for Computing Machinery (ACM) ,2002
- Ownership types for safe programmingPublished by Association for Computing Machinery (ACM) ,2002
- Bugs as deviant behaviorPublished by Association for Computing Machinery (ACM) ,2001
- Language support for regionsPublished by Association for Computing Machinery (ACM) ,2001
- Alias burying: Unique variables without destructive readsSoftware: Practice and Experience, 2001
- Region-Based Memory ManagementInformation and Computation, 1997
- Static detection of dynamic memory errorsPublished by Association for Computing Machinery (ACM) ,1996
- A Syntactic Approach to Type SoundnessInformation and Computation, 1994