Polyspace Bug Finder

Identify software bugs using static analysis

Get Started:

Find Bugs Early in Development

Identify hundreds of classes of bugs as soon as code is written or modified.

Find the Root Cause of Complex Bugs

See your code in a debugger-like view with event traces, variable values, and call trees.

Shows how to create your own navigation path.

Create your own navigation path.

Identify Bugs from within Your IDE, While You Code

Find bugs as soon as code is written or modified by using Polyspace as You Code within an IDE such as Visual Studio®, Visual Studio Code, or Eclipse.

Shows how to use Polyspace as while coding in Visual Studio.

Use Polyspace while coding in Visual Studio.

Trace Code Analysis to Simulink Models

Run analysis on generated code and trace your findings to the source model block.

Trace code analysis to Simulink models.

Trace code analysis to the model.

Configure for Any Run-Time Environment

Integrate Polyspace Bug Finder with any compiler, target processor, and RTOS environment.

Set with any compiler and target options.

Set compiler and target options.

Make Your Code Safe and Secure

Track quality against industry standards.

Comply with Coding Rules and Certification Requirements

Enforce MISRA C and MISRA C++, AUTOSAR C++14, JSF++, and custom rules. Comply with ISO 26262, DO-178, IEC 61508, EN 50128, IEC 62304, and others.

Comply with supported functional safety standards.

Supported functional safety standards.

Meet Security Requirements

Comply with CERT C/C++, ISO 17961, and MISRA C:2012 Amendment 1.

Configuring coding standards and code metrics.

Configuring coding rules checks.

Monitor the Software Quality of Your Project

Compare analysis results against quality thresholds, so your software team can collaborate more easily and monitor project milestones.

Filter and compare analysis results.

Filter results.

Automate Code Analysis with Polyspace Bug Finder Server

Enable continuous integration by performing analysis on code changes early and often.

Analyze Integrated Builds

Run the Polyspace Bug Finder Server™ static analysis engine on a server class machine with build automation tools such as Jenkins and Bamboo.

Shows how to integrate Polyspace products into your continuous integration environment.

Integrating Polyspace products into your continuous integration environment.

Notify and Upload Results for Collaborative Review

Automatically assign defects to component owners, send email notifications, and upload results to Polyspace Bug Finder Access™ so you can triage and resolve issues.

Shows how to send email notifications with Polyspace Bug Finder results.

Sending email notifications with Polyspace Bug Finder results.

Run on Public Cloud Platforms

Get more compute power by using specialized hardware in the cloud. MathWorks® provides reference architectures that provision Polyspace Server deployments on cloud platforms such as AWS® and Azure®.

Use Polyspace in the Cloud

Use Polyspace in the Cloud.

Collaborative Review with Polyspace Bug Finder Access

Share analysis results and quality metrics with the software development team.

Review Analysis Results, so You Can Triage and Resolve Issues

Polyspace Bug Finder Access provides a web browser interface to Polyspace static code analysis results and quality metrics stored in a central repository. Navigation tools for investigating static analysis results are displayed alongside the code.

Review results from the result detail window.

Result details window.

Monitor Project Quality and Software Quality Metrics

Dashboards display information that you can use to monitor software quality, project status, the number of defects, and code metrics.

Project overview dashboard displays information that you can monitor.

Project overview dashboard.

Integrate with the Bug Tracking Tools You Already Use

Use the web browser interface to create and assign tickets in bug tracking tools such as Jira.

Create and assign tickets in bug tracking tools.

Create tickets.