article · 1996
Static detection of dynamic memory errors
Cited by 238Open access
Abstract
Many important classes of bugs result from invalid assumptions about the results of functions and the values of parameters and global variables. Using traditional methods, these bugs cannot be detected efficiently at compile-time, since detailed cross-procedural analyses would be required to determine the relevant assumptions. In this work, we introduce annotations to make certain assumptions explicit at interface points. An efficient static checking tool that exploits these annotations can detect a broad class of errors including misuses of null pointers, uses of dead storage, memory leaks, and dangerous aliasing. This technique has been used successfully to fix memory management problems in a large program.
Cite this paper
Evans, D. (1996). Static detection of dynamic memory errors. https://doi.org/10.1145/231379.231389
Evans, David. “Static detection of dynamic memory errors.” 1996, pp. 44–53, https://doi.org/10.1145/231379.231389.
Evans, David. 1996. “Static detection of dynamic memory errors.” https://doi.org/10.1145/231379.231389.
Evans, D. (1996) ‘Static detection of dynamic memory errors’. Available at: https://doi.org/10.1145/231379.231389.
@article{evans1996static,
title = {{Static detection of dynamic memory errors}},
author = {Evans, David},
pages = {44--53},
year = {1996},
doi = {10.1145/231379.231389}
}Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.