https://github.com/typetools/checker-framework
Pluggable type-checking for Java
https://github.com/typetools/checker-framework
java types verification
Last synced: 10 days ago
JSON representation
Pluggable type-checking for Java
- Host: GitHub
- URL: https://github.com/typetools/checker-framework
- Owner: typetools
- License: other
- Created: 2015-07-03T11:09:17.000Z (over 10 years ago)
- Default Branch: master
- Last Pushed: 2026-01-03T16:53:41.000Z (21 days ago)
- Last Synced: 2026-01-05T16:32:29.345Z (19 days ago)
- Topics: java, types, verification
- Language: Java
- Homepage: http://checkerframework.org/
- Size: 229 MB
- Stars: 1,119
- Watchers: 43
- Forks: 429
- Open Issues: 424
-
Metadata Files:
- Readme: README.md
- Contributing: CONTRIBUTING.md
- License: LICENSE.txt
Awesome Lists containing this project
- awesome-java - Checker Framework
- fucking-static-analysis - Dataflow Framework - strength dataflow framework for Java. The Dataflow Framework is used in the Checker Framework, Google’s Error Prone, Uber’s NullAway, Meta’s Nullsafe, and in other contexts. It is distributed with the Checker Framework. (Programming Languages)
- static-analysis - Dataflow Framework - strength dataflow framework for Java. The Dataflow Framework is used in the Checker Framework, Google’s Error Prone, Uber’s NullAway, Meta’s Nullsafe, and in other contexts. It is distributed with the Checker Framework. (Programming Languages)
README
# The Checker Framework: pluggable type-checking for Java
Please see the Checker Framework manual
([HTML](https://checkerframework.org/manual/),
[PDF](https://checkerframework.org/manual/checker-framework-manual.pdf)).
The history of releases and changes is in file
[docs/CHANGELOG.md](docs/CHANGELOG.md).
Documentation for Checker Framework developers
is in directory `docs/developer/`.