Polyspace Bug Finder
Identify software bugs using 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:
Find the Root Cause of Complex Bugs
See your code in a debugger-like view with event traces, variable values, and call trees.
Create your own navigation path.
Trace Code Analysis to Simulink Models
Run analysis on generated code and trace your findings to the source model block.
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 compiler and target options.
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.
Comply with functional safety standards.
Meet Security Requirements
Comply with CERT C/C++, ISO 17961, and MISRA C:2012 Amendment 1.
Configure coding rules checking.
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 results.
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.
Integrate 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.
Send email notifications with Polyspace Bug Finder results.
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.
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.
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 tickets.
Compiler Support
Set up Polyspace analysis to emulate Microchip MPLAB XC16 and XC32 compilers
Simulink Support
Analyze custom code called from C Function blocks
Robustness Checkers with Counterexamples
Run stricter analysis that considers all system input values including numerical edge cases and view example values that lead to a defect
Performance Checkers
Check for coding practices that can cause performance issues in C++ code
CERT C Support
Check for violations of all CERT C rules including new checks for thread safety issues and hardcoded sensitive data
See the release notes for details on any of these features and corresponding functions.
