Polyspace Bug Finder

Identify software defects via static analysis

Polyspace Bug Finder™ identifies run-time errors, data flow problems, and other defects in C and C++ embedded software. Using static analysis, Polyspace Bug Finder analyzes software control, data flow, and interprocedural behavior. It lets you triage and fix bugs early in the development process.

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 such as cyclomatic complexity. Polyspace Bug Finder can be used with the Eclipse™ IDE and integrated into existing build systems.

For automatically generated code, Polyspace® results can be traced back to Simulink® models, dSPACE® TargetLink® blocks, and IBM® Rational® Rhapsody® diagrams.

Support for industry standards is available through IEC Certification Kit (for IEC 61508 and ISO 26262) and DO Qualification Kit (for DO-178). Support for Ada language also available.

Debunking Misconceptions About Static Analysis

View webinar

Try Polyspace Bug Finder

Get trial software