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 24 -- that is, it runs on a version 24 JVM.
Closed issues:
#6520, #6671, #6750, #6762, #6887, #7001, #7019, #7024, #7029, #7053.