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 具体应用

准备试用?

准备购买