Polyspace^®Bug Finder™确定C和C ++嵌入式软件中的运行时错误，并发问题，安全漏洞和其他缺陷。使用静态分析，包括语义分析，polyspace错误查找器分析软件控制，数据流和概括性行为。通过一旦发现缺陷，它就可以在开发过程的早期进行分类和修复错误。

polyspace错误查找器检查符合编码规则标准，例如Misra C^®，Misra C ++，JSF ++，证书^®C，CERT C ++和自定义命名约定。它生成了由发现的错误，违反代码规则和代码质量指标（包括循环复杂性）组成的报告。polyspace错误查找器可以与Eclipse™IDE一起使用，以分析桌面上的代码。

对于自动生成的代码，可以将Polyspace结果追溯到Simulink万博1manbetx^®模型和DSPACE^®TargetLink^®块。

万博1manbetx可以通过IEC认证套件（对于ISO 26262和IEC 61508）和做资格套件（DO-178）。