Java knowledge base (ナレッジベース) (JKB)

Java knowledge base (ナレッジベース) (.jkb) ファイルは、指定された Klocwork 指摘チェッカーをチューニングして Java 解析結果の誤検知 (またはよりまれな未検知) を低減するメカニズムです。

独自の Java Path チェッカーを作成する場合も、JKB ファイルが関係します。

JKB ファイルには、チェッカーの考慮事項に追加するか、考慮事項から排除する必要があるコードパスが含まれます。

Klocwork トレースバックは、チェッカーの考慮事項に追加するか、考慮事項から排除するコードパスの条件の判断に役立ちます。

条件を特定した後は、以下を含む JKB ファイルを使用してエンジンに条件を通信する必要があります。

• 対象のメソッド
• 次のようなアイテムの処理方法を示す JKB の注釈
• @Bind (チューニングするチェッカーを指定)
• @Check、@CheckTrue、@CheckFalse、および @Wipe (誤検知を低減するためのデータ検証を指定)
• @Source、@Sink、および @Prop (追加指摘を報告)

注釈の詳細については、Java knowledge base (ナレッジベース) リファレンスを参照してください。