Polyspace错误发现者

使用静态分析识别软件bug

识别软件bug和漏洞

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

编码标准遵从性

执行嵌入式软件编码标准,例如MISRA - C以及MISRA c++, AUTOSAR c++ 14, JSF++和自定义命名约定。

静态应用程序安全测试

通过检测安全漏洞和问题来保护您的应用程序。遵守安全编码标准和准则,例如CERTC/ c++, CWE, ISO 17961, MISRA C:2012修订版

认证支持

创建完成行业安全和安全标准认证过程所需的工件,如IEC 61508、ISO 26262、ISO/SAE 21434或DO-178C,直至最高功能安全或安全级别。

Simulink和状态流集成

对生成的代码运行分析,并跟踪从源代码到相应的结果动态仿真模块模型块或Stateflow®图表。从Simulink环境中启动Polyspace分析。

监控软件质量

生成代码度量来度量和改进源代码的质量。比较分析结果与质量阈值。

桌面交互分析

在桌面计算机上运行分析和检查结果。使用类似调试器的视图、事件跟踪和调用图来确定复杂bug的根本原因。解决发现并生成报告。

沃尔沃汽车软件工厂通过Polyspace提高开发速度和质量

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

Johannes Foufas,沃尔沃汽车公司

对Polyspace Bug Finder感兴趣?

Baidu
map