EN JP CN

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

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 (追加指摘を報告)
注: JKB ファイルはプロジェクトのワークスペースから作成できるため、インポートする必要はありません。

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