Polyspace Bug Finder 可以识别嵌入式软件 C 和 C++ 代码中的运行时错误、并发问题、安全漏洞和其他缺陷。使用静态分析,包括语义分析,Polyspace Bug Finder 可分析软件控制流、数据流和过程间行为。它在检测到缺陷之后立即突出显示错误,可在开发过程的早期阶段鉴别和修复 Bug。
Polyspace Bug Finder 可检查代码是否符合编码规则标准,如 MISRA C®、MISRA C++、AUTOSAR C++14、CERT® C、CERT C++ 和自定义命名约定。它可以生成报告,其中包括发现的 Bug、代码违规和代码质量指标,如圈复杂度。
对于自动生成的代码,可以将 Polyspace 结果追溯到 Simulink 模型和 dSPACE® TargetLink® 模块。
通过 IEC Certification Kit (for ISO 26262 and IEC 61508) 和 DO Qualification Kit (for DO-178),可提供对行业标准的支持。
产品资源:
“借助 Polyspace,我们可以在每次代码合并之前识别并修复关键的运行时错误,从而确保软件的安全性和质量。”
Johannes Foufas, Volvo Cars