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

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

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

金宝app可以通过以下方式获得对行业标准的支持IEC认证套件(适用于ISO 26262和IEC 61508)和高级文书主任(DO-178)。