Polyspace^®错误发现者™确定运行时错误,并发问题,安全漏洞和其他缺陷在C和c++嵌入式软件。使用静态分析,包括语义分析,Polyspace错误发现者分析软件控制、数据流和过程间的行为。通过突出缺陷一旦被检测到,它可以让您在开发过程的早期诊断和修复bug。

Polyspace错误发现者检查符合编码规则标准,如MISRA - C^®MISRA c++, JSF + +, CERT^®C, CERT c++,和自定义的命名约定。它生成报告的bug发现,编码规则违规行为,和代码质量度量,包括圈复杂度。Polyspace错误发现者可以使用Eclipse™IDE来分析代码在桌面上。

自动生成代码,Polyspace结果可以追溯到仿真软件金宝app^®模型和dSPACE^®TargetLink^®块。

金宝app支持行业标准可以通过IEC认证工具包(ISO 26262和IEC 61508)和做资格工具包(- 178)。