The Checker Framework enhances Java's type system to make it more powerful and useful. This lets software developers detect and prevent errors in their Java programs. The Checker Framework includes compiler plug-ins ("checkers") that find bugs or verify their absence. It also permits you to write your own compiler plug-ins.
Homepage Repository Maven Java Download
Please see the Checker Framework manual (HTML, PDF).
The history of releases and changes is in file docs/CHANGELOG.md.
Documentation for Checker Framework developers
is in directory docs/developer/.
The Tidelift Subscription provides access to a continuously curated stream of human-researched and maintainer-verified data on open source packages and their licenses, releases, vulnerabilities, and development practices.
Learn more →
![renovate[bot]](https://avatars.githubusercontent.com/u/29139614?size=120)
![dependabot[bot]](https://avatars.githubusercontent.com/u/49699333?size=120)
![dependabot-preview[bot]](https://avatars.githubusercontent.com/u/27856297?size=120)
