Project Parfait is a static bug checking framework designed for scalability and precision. The Parfait tool checks C/C++ source code for common implementation bugs such as buffer overflows and memory leaks. Parfait uses BegBunch and the OpenSolaris code base for nightly regression testing. The 10.6 million of lines of code of the OpenSolaris Operating System/Networking (ON) consolidation are analysed by Parfait in ~80 mins on a 2.9GHz AMD Opteron machine, with an average false positive rate of less than 10%.

Read our papers to learn more about Project Parfait.