A new generation of static source code analysis tools has very recently become
available for the analysis of software code bases for bugs and other defects. These tools
work without actually running the programs that are built from the software that is under
analysis. Faults can be found early in the development process, so as to improve software quality, as well as save developers time. Such tools can cover the execution paths through a very large code base in a fully automated way, and identify complex defects including bugs involving interactions among multiple procedures.