Sciweavers

Share
IJCAI
2007

A Factor Graph Model for Software Bug Finding

8 years 11 months ago
A Factor Graph Model for Software Bug Finding
Automatic tools for finding software errors require knowledge of the rules a program must obey, or “specifications,” before they can identify bugs. We present a method that combines factor graphs and static program analysis to automatically infer specifications directly from programs. We illustrate the approach on inferring functions in C programs that allocate and release resources, and evaluate the approach on three codebases: SDL, OpenSSH, and the OS kernel for Mac OS X (XNU). The inferred specifications are highly accurate and with them we have discovered numerous bugs.
Ted Kremenek, Andrew Y. Ng, Dawson R. Engler
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2007
Where IJCAI
Authors Ted Kremenek, Andrew Y. Ng, Dawson R. Engler
Comments (0)
books