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