c++ - Klocwork 9 与 Klocwork 12

Question

对于相同的代码库，当执行 klocwork 时，对于两个不同版本的 KW，我们得到的结果有所不同。

例如对于特定文件，KW 9 抛出以下错误:

#6325:无限循环“文件路径”代码:INFINITE_LOOP.LOCAL |严重性:错误 (2) |状态: 现有 |状态:分析|分类:C 和 C++ |所有者:无主

但是，对于KW 12，则没有这样的错误。

两个 KW 都位于不同的计算机上，因此我怀疑这可能是由于配置不同造成的，但两种情况下的配置文件“problems_default.pconf.xml”是相同的。

有人可以帮忙吗？

Answer 1

我可以在这里帮助你。 Klocwork 正在不断调整/添加检查器以检测所有可能的漏洞。检查器“INFINITE_LOOP.LOCAL”在 Klocwork v10.1 和 v12.0 上进行了调整/修改，以获得准确的发行率。这可能导致了结果的差异。如果您需要更多说明，请返回。