NITIN23329/checker-framework

Pluggable type-checking for Java

Please see the Checker Framework manual (HTML, PDF).

The history of releases and changes is in file changelog.txt.

Documentation for Checker Framework developers is in directory docs/developer/.