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:
The new SqlQuotesChecker prevents errors in quoting in SQL queries. It prevents injection attacks that exploit quoting errors.
Aggregate Checkers now interleave error messages so that all errors about a line of code appear together.
Closed issues:
#3568, #6725, #6753, #6769, #6770, #6780, #6785, #6795, #6804, #6811, #6825.