Polyspace错误发现者

通过静态分析识别软件bug

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

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