Static detection of dynamic memory errors

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 31, Issue 5, 1996, Pages 44-52

  Evans, David ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 17144397732     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/249069.231389     Document Type: Article

References (11)

1. Hans-J. Boehm and Mark Weiser. Garbage collection in an uncooperative environment. Software Practice and Experience, September 1988.
2. David Evans. Using Specifications to Check Source Code, MIT/LCS/TR-628, MIT Laboratory for Computer Science, June 1994.
3. David Evans. LCLint User's Guide, Version 2.0. February 1996. (http://larch-www.lcs.mit.edu:8001/larch/lclint/guide/)
4. David Evans, John Guttag, Jim Horning and Yang Meng Tan. LCLint: A tool for using specifications to check code. SIGSOFT Symposium on the Foundations of Software Engineering, December 1994.
5. J.V. Guttag and J.J. Horning with S.J. Garland, K.D. Jones, A. Modet, and J.M. Wing. Larch: Languages and Tools for Formal Specification, Springer-Verlag, 1993.
6. Laurie Hendren and Joseph Hummel. Abstractions for recursive pointer data structures: improving the analysis and transformation of imperative programs. SIGPLAN Conference on Programming Language Design and Implementation, 1992.
7. Posting in comp.os. linux, August 1994.
8. Robert Strom and Nagui Halim. A new programming methodology for long-lived software systems. IBM-RC 9979, IBM T. J. Watson Research Center, March 1983.
9. Yang Meng Tan. Formal Specification Techniques for Promoting Software Modularity, Enhancing Software Documentation, and Testing Specifications, MIT/LCS/TR-619, MIT Laboratory for Computer Science, June 1994.
10. Gray Watson. Debug Malloc Library, November 1994. (ftp://ftp.letters.com/src/dmalloc/docs/dmalloc.ps)
11. Benjamin Zorn and Paul Hilfinger. A memory allocation profiler for C and Lisp programs. (ftp://gatekeeper.dec.com:/pbu/misc/mprof-3.0.tar.Z)