A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
A practical flow-sensitive and context-sensitive C and C++ memory leak detector
2003
SIGPLAN notices
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type system to formalize a practical ownership model of memory management. In this model, every object is pointed to by one and only one owning pointer, which holds the exclusive right and obligation to either delete the object or to transfer the right to another owning pointer. In addition, a pointertyped class member field
doi:10.1145/780822.781150
fatcat:gg6ababdrrevtimowrh3mhztq4