Currently not actively contributing to this branch. Therefore, archiving it for future reference purposes.
Please see the Checker Framework manual (HTML, PDF).
Additional documentation for Checker Framework developers
is in directory docs/developer/.