Bug Finder Analysis
Polyspace - The MathWorks, Inc.
Polyspace Bug Finder checks compliance with coding rule standards such as MISRA C, MISRA C++, JSF++, and custom naming conventions. It generates reports consisting of bugs found, code-rule violations, and code quality metrics, including cyclomatic complexity. Polyspace Bug Finder can be used with the Eclipse IDE and integrated into build systems.