Polyspace Bug Finder

运用静态分析找出软件 Bug

识别软件 Bug 和漏洞

找到许多不同类别的 Bug,如安全漏洞、并发性和数值缺陷。为任何编译器、目标处理器和 RTOS 环境配置分析。

编码标准合规性

强制执行已嵌入的软件编码规则,例如 MISRA C 和 MISRA C++、AUTOSAR C++14、JSF++ 和自定义命名约定。

静态应用程序安全性测试

通过检测安全漏洞和问题,确保应用程序的安全性。遵守安全编码标准和规范,如 CERT C/C++、CWE、ISO 17961 和 MISRA C:2012 Amendment 1。

认证支持

创建完成行业功能安全和网络安全标准(如 IEC 61508、ISO 26262、ISO/SAE 21434 或 DO-178C)认证流程所需的交付物。交付物可支持最高的功能安全性或安全级别。

Simulink 和 Stateflow 集成

对生成的代码运行分析,并将发现从源代码追溯到相应的 Simulink 模型模块或 Stateflow 图。在 Simulink 环境内启动 Polyspace 分析。

监控软件质量

生成代码指标,以评测和改进源代码的质量。对照质量阈值比较分析结果。

桌面端的交互式分析

在桌面计算机上运行分析,并查看发现结果。使用类似调试器的视图、事件追溯和调用图找出复杂 Bug 的根本原因。解决发现的问题,并生成报告。

“借助 Polyspace,我们可以在每次代码合并之前识别并修复关键的运行时错误,从而确保软件的安全性和质量。”

Johannes Foufas, Volvo Cars

有兴趣了解 Polyspace Bug Finder?