Knowledge base annotations

The following annotations are those most commonly used to mark up your source for tuning Java analysis.

To make troubleshooting easier, it's best practice to:

identify one method signature and add one annotation at a time, typically @Check, @CheckTrue, or @CheckFalse
use @Bind to bind one or more methods to a specific checker
test your knowledge base to determine if edits are needed
identify the next signature method in the .jkb for the checker's consideration, annotate as you see fit, and re-test