By kto on Sep 30, 2009
The Parfait tool checks C/C++ source code for common systems and security bugs. The OpenSolaris project is using it successfully, and we are currently investigating it's use with the OpenJDK project. Dr. Cristina Cifuentes has more information on "Building a Better Bug-Checker". More publications are available at the Sun Labs site.
If we could only get rid of all compiler warning errors, findbugs errors, and Parfait errors, the world would be squeaky clean. ;\^)