Please see the Checker Framework manual (HTML, PDF). Additional documentation for Checker Framework developers is in directory docs/developer/.