Method 3: Use Knowledge Base records

This section explains how to tune analysis using Knowledge Base (KB) records.

Klocwork automatically generates a KB during the first analysis of your source code, and updates the information with each new analysis.

Native system function behavior is specified in the default KBs. To handle false positives and negatives, fine-tune your results by creating your own KB records to change how Klocwork interprets your code.

For KB record syntax, see C/C++ KB reference.