Polyspace Bug查找器

通过静态分析识别软件错误

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

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