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++, 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 and integrated into build systems.

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).

7 Ways to Make Embedded Software Safe and Secure


Identifying Software Defects and Security Vulnerabilities with Static Analysis

Analyze code components or entire embedded software projects. 

Learn more

Reducing Test Cycles by Fixing Bugs Early

Detect a variety of defects such as numerical, static memory, dynamic memory, concurrency, and security vulnerabilities. 

Learn more

Verifying Compliance with Coding Standards

Enforce coding rules to improve the readability and quality of your code. 

Learn more

Producing Code Metrics and Monitoring Software Quality

Generate project-level, file-level, and function-level metrics to evaluate the complexity of code. 

Learn more

Tracing Code Analysis Results to Simulink Models

Analyze generated code or mixed code, which contains both generated and handwritten code. 

Learn more

Creating Certification Artifacts

Complete the certification process for projects based on industry standards.

Learn more

Product Resources

Discover more about Polyspace Bug Finder by exploring these resources.


Explore documentation for Polyspace Bug Finder functions and features, including release notes and examples.

System Requirements

View system requirements for the latest release of Polyspace Bug Finder.

Technical Articles

View articles that demonstrate technical advantages of using Polyspace Bug Finder.

User Stories

Read how Polyspace Bug Finder is accelerating research and development in your industry.

Community and Support

Find answers to questions and explore troubleshooting resources.

Static Analysis Notes

Read more about common and topical applications for Polyspace static analysis tools.


Polyspace Bug Finder apps enable you to quickly access common tasks through an interactive interface.

Try or Buy

Get a Free Trial

Test drive Polyspace Bug Finder.

Get a trial

Ready to Buy?

Purchase Polyspace Bug Finder and explore related products.

Contact sales
Pricing and licensing

Have Questions?


Contact Ram Cherukuri,
Polyspace Bug Finder Technical Expert

Email Ram

Related Solutions

Use Polyspace Bug Finder to solve scientific and engineering challenges:

News and Events

This webinar introduces the Polyspace code verification tool for achieving robust software quality. Polyspace uses a unique formal-method based static code analysis approach called abstract interpretation. The method makes it possible to find errors
In this webinar we will introduce advanced formal methods based static code analysis techniques for FDA certified medical devices. Through demonstrations and examples, attendees will learn how to use Polyspace products to detect and prove the absence
See how new features and enhancements in the past few releases of Polyspace products significantly improve your software development and verification workflow.

Polyspace static analysis notes