Main Page > Polyspace > Polyspace Bug Finder

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:

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.

Trace Code Analysis to Simulink Models

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

Configure for Any Run-Time Environment

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

Make Your Code Safe and Secure

Track quality against industry standards.

Comply with Coding Rules and Certification Requirements

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

Meet Security Requirements

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

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.

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.

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.

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. Use navigation tools in your web browser to investigate code verification results, which are displayed along with the code.

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.

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.

Read, Learn, Explore!

Sign up for best practices, webinar and training dates and for being always up-to-date with MATLAB ® & Simulink ® and COMSOL Multiphysics ®!

If you have any questions about private trainings, please feel free to contact us. Our customer service representatives will be happy to help you!

Get in Touch!

Just fill in your contact details and any specific comments or questions you may have, and click on the “Send” button below. Your request is immediately sent to a sales representative in your geographical area.