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.2:
Version 4.2.2 (2026-08-06)
Renamed CFAbstractValue.validateSet() to hasAnnotationFromEveryHierarchy().
#7723, #7784, #7806.