Static Code Analysis for Embedded Software

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.