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:
https://CheckerFramework.org/Changes for Checker Framework version 4.2.0:
Version 4.2.1 (2026-07-01)
#7726.