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 で調整/修正され、正確な発行率を取得しました。これが結果の違いを引き起こした可能性があります。さらに明確にする必要がある場合は、元に戻してください。