Klocwork 9 vs 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上进行了调整/修改，以获得准确的发布率。这可能会导致结果的差异。如果您需要更多说明，请退回。