Static Detection of Dynamic Memory Errors - Evans (1996)(Correct)(81 citations)
misuses of null pointers, uses of dead storage, memory leaks, and dangerous aliasing. This technique has
pname becomes temp The first message reports a memory leak. Because gname is declared using the only
to setName will cause the program to crash or leak memory without careful analysis of the entire ftp.sds.lcs.mit.edu/pub/lclint/pldi96.ps.gz
A Region Inference Algorithm - Tofte, Birkedal (1998)(Correct)(6 citations)
cases, the compiler can prove the absence of memory leaks or warn about the possibility of memory leaks memory leaks or warn about the possibility of memory leaks [Tofte et al. 1997]There are also cases
memory resources in colloquial terms, it may "leak memory.Both phenomena are well known in practice. www.cs.cmu.edu/afs/cs/user/birkedal/pub/reginfalgo.ps.gz
A Practical Flow-Sensitive and Context-Sensitive C and C++.. - Heine, Lam (2003)(Correct)(5 citations)
Flow-Sensitive and Context-Sensitive C and CMemory Leak Detector David L. Heine and Monica S. Lam
analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C
Programs satisfying this model do not leak memory or delete the same object more than once. We suif.stanford.edu/papers/pldi03d.pdf