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:
New command-line options: -AassumePureGetters Unsoundly assume that every getter method is pure
Implementation details:
Added method isDeterministic()
to the AnnotationProvider
interface.
CFAbstractValue#leastUpperBound
and CFAbstractValue#widenUpperBound
are now final. Subclasses should override method CFAbstractValue#upperBound(V, TypeMirror, boolean)
instead.
Closed issues:
#1497, #3345, #6037, #6204, #6276, #6282, #6290, #6296, #6319, #6327.