Polyspace Bug Finder

Identify software bugs and coding rule violations using static analysis

Polyspace® Bug Finder™ analyzes C/C++ embedded software code to report coding defects, coding rules deviations, and code metrics. It uses static analysis based on abstract interpretation to identify more than 350 types of coding defects, such as buffer overflows, divide-by-zero errors, concurrency issues, and other security flaws.

Polyspace Bug Finder checks compliance with coding rules such as MISRA C™:2023, MISRA™ C++:2023, AUTOSAR C++14, CERT® C/C++, and CWE™. It also computes code metrics like cyclomatic complexity. You can even create your own defects and coding standards to support your organization’s requirements.

You can integrate Polyspace Bug Finder with Polyspace Test™ to unify code verification and testing, sharing the same project configuration and leveraging the tool’s complementarity to ease triaging results. Simulink® integration enables automated setup and traceability for generated code.

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

Get Started

Learn the basics of Polyspace Bug Finder

Installation

Install Polyspace products for analysis on desktop or server

Running Bug Finder

Check C/C++ code for defects and coding standard violations in Polyspace Platform user interface, using scripts, or from other environments

Configuration

Emulate build, specify or create checkers, and provide additional information necessary for optimal results from Bug Finder

Continuous Integration

Run Bug Finder Server for automated code checking on CI servers

Reviewing and Reporting Results

Investigate issues found with Bug Finder, fix or justify results, manage results review, and generate reports

Tools Qualification and Certification

Qualify Polyspace Bug Finder for DO and IEC Certification

Troubleshooting in Polyspace Bug Finder

Resolve unexpected issues in Polyspace Bug Finder