Polyspace Bug Finder
查找 C/C++ 程序中的数百种错误，包括运行时错误、并发性问题和其他编码缺陷。
执行 MISRA C、MISRA C++、JSF++ 和自定义规则。
检查安全漏洞和标准：CWE、CERT-C、ISO/IEC 17961 和其他。
在工程、文件和函数级别上收集度量指标，包括循环复杂度、堆栈使用和 HIS 指标。
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 compiler, 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.
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.
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.
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.