Polyspace Bug Finder™识别C和c++嵌入式软件中的运行时错误、并发性问题、安全漏洞和其他缺陷。使用静态分析,包括语义分析,Polyspace Bug Finder 分析软件控制流、数据流和过程间行为。通过在检测到缺陷时突出显示缺陷,它允许您在开发过程的早期对缺陷进行分类和修复。
Polyspace Bug Finder 检查编码规则标准(如MISRA C)的符合性®, misra c++, autosar c++ 14,证书®C、CERT c++和自定义命名约定。它生成由发现的错误、代码规则违反和代码质量度量组成的报告,包括圈复杂度。
对于自动生成的代码,Polyspace®结果可以追溯到Simulink®模型和dSPACE®TargetLink® 块。
支持行业标准可通过IEC认证套件(ISO 26262和IEC 61508) 和 DO资格套件(DO-178)。
产品资源:
通过Polyspace,我们可以在每次代码合并前识别并修复关键的运行时错误,从而确保软件的安全和质量。”
Johannes Foufas,沃尔沃汽车公司