static-analysis - 覆盖率与 IAR C-STAT

Question

有人知道 Coverity 与 IAR 的 C-STAT 头对头比较或审查吗？

我正在研究不同的工具。我公司过去曾使用过 IAR。高层对 Coverity 表现出兴趣。我正在尝试对它们进行比较分析。

Answer 1

IAR 的 C-STAT 分析主要集中在 MISRA 和其他合规检查器上。它确实有一些基本的质量检查器。Coverity 有大量的质量和安全检查器——Coverity 的重点是发现真正的错误，而不是确保您遵守编码标准（例如 MISRA）。Coverity 还具有出色的程序间分析和极低的误报率。

虽然目前这两个工具几乎没有重叠，但 Coverity 已开始添加合规检查器，并将很快提供相同的编码标准覆盖范围，同时还能发现真正的错误。

诚然，我有偏见——我从事 Coverity 产品的工作。然而，我确实相信 Coverity 是市场上同类产品中最好的工具。