One of the earliest and best known tools is Purify ; see  for a recent and significantly different approach to dynamic leak detection. Dynamic ... The analysis depends heavily on user annotation to model function calls, thus requiring substantial manual effort to use. ... Chou reports finding hundreds of memory leaks in an earlier Linux kernel using this method, most of which have since been patched.
|Title||:||Static detection of software errors|
|Author||:||Yichen Xie, Stanford University. Computer Science Dept|