Reference: C/C++ Knowledge Base

The C/C++ Knowledge Base (KB) file is a text file with the extension .kb. During each analysis of your code, Klocwork automatically generates a KB containing a record for each function that operates in the code.

To change how Klocwork understands your code:

  1. Create your own KB records.
  2. Place the KB records in a .kb file
  3. Import them into the Klocwork analysis of your code.
To learn how to create KB records for tuning Klocwork analysis, see Method 3: Use Knowledge Base records.