Main Content

Polyspace Bug Finder

Identify software bugs via static analysis

Polyspace® Bug Finder™ identifies run-time errors, concurrency issues, security vulnerabilities, and other defects in C and C++ embedded software. Using static analysis, including semantic analysis, Polyspace Bug Finder analyzes software control, data flow, and interprocedural behavior. By highlighting defects as soon as they are detected, 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++, CERT® C, CERT C++, 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 to analyze code on your desktop.

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

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

Install Polyspace

Install Polyspace products for analysis on desktop, server, or IDEs

Configure and Run Analysis

Set up Polyspace Bug Finder analysis on desktop, server, or IDEs

Review Analysis Results

Review Polyspace Bug Finder results in Polyspace desktop user interface, web browser, or IDEs

Polyspace Bug Finder Examples

Sample scripts and templates to run Polyspace from different environments, C/C++ code examples showing bugs and coding rule violations

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