Polyspace^®错误发现者™识别C和c++嵌入式软件中的运行时错误、并发问题、安全漏洞和其他缺陷。使用静态分析，包括语义分析，Polyspace Bug Finder分析软件控制、数据流和过程间行为。通过在检测到缺陷时突出显示缺陷，您可以在开发过程的早期对缺陷进行分类和修复。

Polyspace Bug Finder检查编码规则标准的符合性，如MISRA C™，MISRA c++， JSF++， CERT^®C、CERT c++和自定义命名约定。它生成由发现的错误、代码规则违反和代码质量度量(包括圈复杂度)组成的报告。Polyspace Bug Finder可以与Eclipse™IDE一起使用来分析桌面上的代码。

对于自动生成的代码，Polyspace的结果可以追溯到Simulink^®模型和dSPACE^®TargetLink^®块。

对行业标准的支持可通过IEC认证套件(适用于iso26262及iec61508)而且DO检定套件(适用于DO-178)．