波尔盖斯^®bug finder™识别C ++嵌入式软件中的运行时错误，并发问题，安全漏洞和其他缺陷。使用静态分析，包括语义分析，Polyspace Bug Finder.分析软件控制，数据流和移植性的行为。通过在检测到后立即突出显示缺陷，它可以让您在开发过程中提前进行分类并修复错误。

Polyspace Bug Finder.检查是否符合编码规则标准，例如Misra C.^®，Misra C ++，JSF ++，CERT^®c，cert c ++和自定义命名约定。它生成由发现错误，代码规则违规和代码质量指标组成的报告，包括循环复杂性。Polyspace Bug Finder.可以与Eclipse™IDE一起使用，以分析桌面上的代码。

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

金宝app通过支持行业标准IEC认证套件（对于ISO 26262和IEC 61508）和做资格套件（DO-178）。