Polyspace Bug Finder

重要更新

 

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.

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.

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.

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.

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.

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.

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

Latest Features

产品功能

在开发早期发现程序错误

编写或修改代码后立即找出缺陷。

满足认证的要求

符合 ISO 26262、DO-178、IEC 61508、EN 50128、FDA 和其他标准。

发现复杂程序错误的根本原因

在类似调试器的视图中查看代码,包含事件跟踪、变量值和调用树。

检查多线程代码

检测数据竞争、死锁、双重锁、缺失锁和其他问题。

代码分析追溯到 Simulink 模型

调查结果追溯到已生成代码的源模型块。

满足安全要求

符合 CERT C、ISO 17961、MISRA C:2012 Amendment 和 CWE 标准。

设定和测量软件质量目标

确定软件团队协作和项目里程碑的质量合格/不合格阈值。

对任何运行时环境进行配置

集成任何编译器、目标处理器、RTOS 环境和持续集成系统。

See the release notes for details on any of these features and corresponding functions.

获取免费试用版

30 天探索触手可及。

马上下载

准备购买?

获取详细价格和并探索相关产品。

您是学生吗?

获得 MATLAB 和 Simulink 学生版软件。

了解更多