Finding Bugs in Open Source Kernels using Parfait

Date Added: May 2009
Format: PDF

This paper looks at the Parfait tool to provide a comprehensive view and offers to understand the results of running Parfait over the OpenSolaris, Linux and OpenBSD operating system kernels. Parfait is a static tool used to keep a check on bugs. It works for the C/C++ source code and the bug tool has been designed to be both scalable and precise. This paper also tries to understand the requirements of the Parfait tool and these needs have developed after an interaction with the Solaris operating system team. With this team, the tool was required to check millions of lines of code in a time-efficient manner. It was supposed to create the least noise while providing a low cost of integration into the build process. This paper summarizes the graphical reporting tool that is able to assist developers in understanding where the bugs are in the source code. Static bug checking tools in use today are sophisticated and use a variety of complex analysis techniques. The new generation bug checking tools have the ability to analyze programs with an understanding of the language semantics. This way they are able to detect specific real defects rather than just potentially problematic constructs. These tools also help meet increase in complexity, along with increase in the processing capabilities to provide for complex analysis techniques.