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).
Analyze code components or entire embedded software projects.Learn more
Generate project-level, file-level, and function-level metrics to evaluate the complexity of code.Learn more
Discover more about Polyspace Bug Finder by exploring these resources.
Explore documentation for Polyspace Bug Finder functions and features, including release notes and examples.
View system requirements for the latest release of Polyspace Bug Finder.
View articles that demonstrate technical advantages of using Polyspace Bug Finder.
Read how Polyspace Bug Finder is accelerating research and development in your industry.
Find answers to questions and explore troubleshooting resources.
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.
Use Polyspace Bug Finder to solve scientific and engineering challenges: