Start here

Home
About Klocwork
What's new
Fixed issues
Release notes
Installation

Reference

C/C++ checkers
Java checkers
C# checkers
MISRA C 2004 checkers
MISRA C++ 2008 checkers
MISRA C 2012 checkers
MISRA C 2012 checkers with Amendment 1
Commands
Metrics
Troubleshooting
Reference

Product components

C/C++ Integration build analysis
Java Integration build analysis
Desktop analysis
Refactoring
Klocwork Static Code Analysis
Klocwork Code Review
Structure101
Tuning
Custom checkers

Coding environments

Visual Studio
Eclipse for C/C++
Eclipse for Java
IntelliJ IDEA
Other

Administration

Project configuration
Build configuration
Administration
Analysis performance
Server performance
Security/permissions
Licensing
Klocwork Static Code Analysis Web API
Klocwork Code Review Web API

Community

View help online
Visit RogueWave.com
Klocwork Support
Rogue Wave Videos

Legal

Legal information

Java knowledge base (JKB)

A Java knowledge base (.jkb) file is the mechanism that tunes specified Klocwork issue checkers to reduce false positives (or less commonly false negatives) in your Java analysis results.

You'll also come across JKB files when you create your own Java Path checker.

The JKB file contains code paths that should be added to or eliminated from the checker's consideration.

Klocwork traceback can help you determine the criteria by which code paths are to be added to or eliminated from the checker's consideration.

Once you identify the criteria, then you must communicate them to the engine using a JKB file that contains:

  • the methods of interest to you
  • JKB annotations that indicate how these items are to be handled; for example:
  • @Bind (to specify which checker should be tuned)
  • @Check, @CheckTrue, @CheckFalse, and @Wipe (to specify data validation to reduce false positives)
  • @Source, @Sink, and @Prop (to report more issues)
Note: Since the JKB file can be created from your project workspace, you don't have to import it.

For more information about annotations, see Java knowledge base reference.