Release 3.48.1 of the Checker Framework

[Suzanne Millstein]

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.48.1:

Version 3.48.1 (October 11, 2024)

User-visible changes:

The Returns Receiver sub-checker is now disabled by default when running the Resource Leak Checker, as usually it is not needed and it adds overhead. To enable it, use the new -AenableReturnsReceiverForRlc command-line argument.

Closed issues:

#6434, #6810, #6839, #6842, #6856.