Please see the Checker Framework manual.

It appears in this repository (after you run make -C docs/manual):

• docs/manual/manual.html
• docs/manual/manual.pdf

Prebuilt versions also appear on the web:

• HTML: https://checkerframework.org/manual/
• PDF: https://checkerframework.org/manual/checker-framework-manual.pdf