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:
Changes for Checker Framework version 3.35.0:
User-visible changes:
Eliminated the @SignedPositiveFromUnsigned
annotation, which users were advised against using.
Implementation details:
Renamed SourceChecker.processArg()' to
processErrorMessageArg()`.
Closed issues:
#2156, #5672, #6110, #6111, #6116, #6125, #6129, #6136.