Please see the Checker Framework manual. It appears in this repository (after you run `make -C checker/manual`): * checker/manual/manual.html * checker/manual/manual.pdf Prebuilt versions also appear on the web: * http://types.cs.washington.edu/checker-framework/current/checker-framework-manual.html * http://types.cs.washington.edu/checker-framework/current/checker-framework-manual.pdf