Static detection of software errors

Static detection of software errors

4.11 - 1251 ratings - Source

One of the earliest and best known tools is Purify [36]; see [15] 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
Publisher: - 2006


You Must CONTINUE and create a free account to access unlimited downloads & streaming