We have released a new version of the Checker Framework.
The Checker Framework lets you create and/or run pluggable type checkers, in order to detect and prevent bugs in your code.
You can find documentation and download links at:
User-visible changes:
The Checker Framework runs under JDK 25 -- that is, it runs on a version 25 JVM.
Closed issues:
#7093.