Release 4.1.0 of the Checker Framework
5 views
Skip to first unread message
Suzanne Millstein
May 1, 2026, 3:30:53 PMMay 1
to Checker Framework discussion
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.1.0:
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.1.0:
Removed deprecated script checker/bin-devel/build.sh; use ./gradlew assemble instead.
Removed deprecated names "builder", "object.construction", and "objectconstruction" for the Called Methods Checker.
New method annotation @DoesNotUnrefineReceiver.
In AnnotatedTypeFactory:
- new method
hasDoesNotUnrefineReceiver(). isAliasedTypeAnnotation()is now protected rather than public.
#6890, #7364, #7488.
Reply all
Reply to author
Forward
0 new messages