Symbolic pointer analysis for detecting memory leaks
Berhard Scholz, Johann Blieberger, Thomas Fahringer · 1999
It is well accepted that pointers are a common source of memory anomalies such as loosing references to dynamic records without deallocating them (also known as memory leaks). This paper presents a novel pointer analysis framework that detects memory leaks by statically analyzing the behavior of programs.