Polyspace Bug Finder

通过静态分析找出软件错误

观看视频
申请试用版

自动静态分析

查找 C/C++ 程序中的数百种错误，包括运行时错误、并发性问题和其他编码缺陷。

编码规则

执行 MISRA C、MISRA C++、JSF++ 和自定义规则。

安全标准

检查安全漏洞和标准：CWE、CERT-C、ISO/IEC 17961 和其他。

代码度量

在工程、文件和函数级别上收集度量指标，包括循环复杂度、堆栈使用和 HIS 指标。

产品功能

在开发早期发现程序错误

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

满足认证的要求

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

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

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

检查多线程代码

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

代码分析追溯到 Simulink 模型

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

满足安全要求

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

设定和测量软件质量目标

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

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

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

发行说明

Polyspace Bug Finder 具体应用

Polyspace Bug Finder 概述 - 视频

利用 Polyspace Bug Finder™ 通过静态分析找出软件缺陷。

观看视频 (2:05)

白皮书：保障嵌入式软件安全可靠的 7 个方法

阅读白皮书

Solar Impulse 对太阳能飞机使用 Polyspace 静态分析

了解 Solar Impulse 如何使用 Polyspace 静态分析，确保其太阳能飞机中的软件符合 DO 178B 标准。

阅读案例

准备试用？

申请试用版

准备购买

联系销售

更多 Polyspace Bug Finder 工具和资源

缺陷和规则

入门资源

白皮书：保障嵌入式软件安全可靠的 7 个方法

下载白皮书