c++ - Klocwork 9 vs Klocwork 12

Question

For the same code base, when executing klocwork, for two different versions of KW, we are getting difference in results.

For e.g. for a particular file, KW 9 is throwing the following error :

#6325: Infinite loop "file Path" Code: INFINITE_LOOP.LOCAL | Severity: Error (2) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned

However, for KW 12, there is no such error.

Both the KW are on different machines so I suspect this may be due difference in configuration, but the configuration file "problems_default.pconf.xml" is same in both the cases.

Can someone help ?

Answer 1

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