Java Knowledge Base (ナレッジベース) ファイル

このセクションでは、Java Knowledge Base (ナレッジベース) (JKB) ファイルについて説明します。JKB ファイルは、コードシステムに関する追加のコンテキストを提供することで、特定の Klocwork の指摘の Java パスチェッカーをチューニングし、以下の処理を実行します。

• 特定のコードパスに沿って指摘の妥当性を評価し、誤検知を低減する
• これまで見逃されていた指摘 (偽陰性) を検知するために必要なコードパスを特定する
• 懸念のある特定の指摘についての報告を増加させる

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

JKB ファイルは、Java に似た JKB 指定用の宣言型言語、JKB 形式で記述されます。JKB ファイルは、チェッカーが含めるべき、または除外すべきコードパスを定義します。

Klocwork 解析結果のトレースバック情報を使用して、以下を行います。

• 特定のコードパスを含めるか除外するかを決定するために使用される基準を特定する
• 誤検知を減らすために、JKB ファイルに含めるソースを特定する