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

What Is Polyspace Bug Finder? - 视频

Identify software defects via static analysis using Polyspace Bug Finder ™ .

观看视频 (2:05)

White Paper: 7 Ways to Make Embedded Software Safe and Secure

Learn 7 ways to make your embedded software safe and secure with static code analysis and formal methods. Download the white paper now.

阅读白皮书

Solar Impulse Uses Polyspace Static Analysis for Solar Airplane

Explore how Solar Impulse uses Polyspace static analysis to ensure the software in their solar plane complies with DO 178B.

阅读案例

获取免费试用版

30 天探索触手可及。

马上下载

准备购买？

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

查看定价和许可信息 联系销售

您是学生吗？

获得 MATLAB 和 Simulink 学生版软件。

了解更多

其它 Polyspace Bug Finder 工具箱资源

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

下载白皮书