Program analysis for bug detection using parfait
Cristina Cifuentes, Nathan Keynes, Lian Li, Bernhard J. Scholz · 2009
The goal of the Parfait project is to find bugs in C source code in a scalable and precise way. To this end, Parfait was designed as a framework with layers of sound program analyses, multiple layers per bug type, to identify bugs in a program more quickly and accurately.