Parfait - Designing a Scalable Bug Checker

Parfait - Designing a Scalable Bug Checker

12 June 2008

We present the design of Parfait, a static layered program analysis framework for bug checking, designed for scalability and precision by improving false positive rates and scale to millions of lines of code. The Parfait framework is inherently parallelizable and makes use of demand driven analyses. In this paper we provide an example of several layers of analyses for bu ffer overflow, summarize our initial implementation for C, and provide preliminary results. Results are quantifi ed in terms of correctly-reported, false positive and false negative rates against the NIST SAMATE synthetic benchmarks for C code.


Venue : N/A