Polyspace^®臭虫搜索™识别运行时错误，并发问题，安全漏洞，并在C和C等缺陷++嵌入式软件。使用静态分析，包括语义分析，Polyspace Bug的搜索分析软件控制，数据流和过程间行为。通过一旦检测到它们突出的缺陷，它可以让你分流和解决一些在开发过程的早期。

Polyspace Bug的搜索检查遵守编码规则的标准，如MISRA C^®，MISRA C ++，JSF ++，CERT^®C，CERT C ++和自定义命名约定。它产生由错误的报告发现，代码违规和代码质量指标，包括圈复杂度。Polyspace Bug的搜索可以与Eclipse™IDE来分析您的桌面上的代码。

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

金宝app对行业标准的支持可通过IEC认证工具包（用于ISO 26262和IEC 61508）和DO资格的试剂盒（DO-178）。