Please see the Checker Framework manual. It appears in this repository: * checker/manual/manual.html * checker/manual/manual.pdf It also appears 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