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

多空间Bug查找器检查是否符合编码规则标准，如MISRA C^®，MISRA C++，JSF+++，证书^®C、Curt C++和自定义命名约定。它生成由错误发现、代码规则违反和代码质量度量组成的报告，包括圈复杂度。多空间Bug查找器可以与Eclipse一起使用™ IDE来分析桌面上的代码。

对于自动生成的代码，Polyspace结果可以追溯到Simulink万博1manbetx^®模型与数据空间^®TargetLink^®阻碍。

万博1manbetx可通过以下途径获得对行业标准的支持：IEC认证套件（适用于ISO 26262和IEC 61508）和DO鉴定套件（适用于DO-178）.