Parfait is a static bug checking framework designed for scalability and precision. The Parfait tool checks C/C++ source code for common systems and security bugs. Parfait uses BegBunch and the OpenSolaris code base for nightly regression testing. The 8.6 million of lines of code of the OpenSolaris Operating System/Networking (ON) consolidation are analysed by Parfait in 20 mins on a 2.8GHz AMD Opteron machine.

Search for Parfait reports in open repositories:

• http://bugs.opensolaris.org (keyword: parfait)
• http://marc.info (keyword: parfait)
• http://lkml.org (keyword: parfait)

Read or watch our papers or videos to learn more about Parfait. Or read the interview with Cristina on Building a Better Bug-Checker.