Klocwork 9诉Klocwork 12

Question

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

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

#6325:无限循环“文件路径”代码: INFINITE_LOOP.LOCAL财政严重性:错误(2)

然而，对于KW 12，没有这样的错误。

两个KW都在不同的机器上，所以我怀疑这可能是配置上的差异，但是在这两种情况下，配置文件"problems_default.pconf.xml“都是相同的。

有人能帮忙吗？

Answer 1

我可以在这里帮你。Klocwork一直在进行调优/添加检查，以检测所有可能的漏洞。检查器"INFINITE_LOOP.LOCAL“在Klocworkv10.1和v12.0上进行了调优/修改，以获得准确的发布率。这可能导致了结果的差异。如果您需要更多的澄清，请回复。