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:
http://CheckerFramework.org/
Changes for Checker Framework version 3.45.0:
Version 3.45.0 (July 1, 2024)
Implementation details:
Added a Tree
argument to AnnotatedTypes.adaptParameters()
Deprecated methods:
TreeUtils.isVarArgs()
=> isVarargsCall()
TreeUtils.isVarArgMethodCall()
=> isVarargsCall()
Closed issues:
#152, #5575, #6630, #6641, #6648, #6676.