Klocwork 9 vs Klocwork 12

Question

對於相同的代碼庫，當執行klocwork時，對於兩個不同版本的KW，我們得到的結果是不同的。

例如，特定文件，KW 9拋出以下錯誤：

＃6325：無限循環 「文件路徑」 代碼：INFINITE_LOOP.LOCAL |嚴重性：錯誤（2）|狀態：現有|狀態：分析|分類：C和C++ |所有者：無主

但是，對於KW12，沒有這樣的錯誤。

這兩個KW都在不同的機器上，所以我懷疑這可能是由於配置的差異，但配置文件「problems_default.pconf.xml」在兩種情況下都是相同的。

有人可以幫忙嗎？

Answer 1

我可以幫你在這裏。 Klocwork持續調整/添加檢查器來檢測所有可能的漏洞。 Checker「INFINITE_LOOP.LOCAL」在Klocwork v10.1和v12.0上得到了調整/修改，以獲得準確的問題率。這可能會導致結果的差異。如果您需要更多說明，請回復。