Checker Framework 3.49.5

Version 3.49.5 (June 30, 2025)

User-visible changes:

The Checker Framework runs under JDK 25 -- that is, it runs on a version 25 JVM.

Closed issues:

#7093.

Checker Framework 3.49.4

Version 3.49.4 (June 2, 2025)

Closed issues:

#6740, #7013, #7038, #7070, #7082.

Checker Framework 3.49.3

Version 3.49.3 (May 2, 2025)

User-visible changes:

The Checker Framework runs under JDK 24 -- that is, it runs on a version 24 JVM.

Closed issues:

#6520, #6671, #6750, #6762, #6887, #7001, #7019, #7024, #7029, #7053.

Checker Framework 3.49.2

Version 3.49.2 (April 1, 2025)

Closed issues:

#6747, #6755, #6789, #6891, #6963, #6996, #7001, #7008, #7014.

Checker Framework 3.49.1

Version 3.49.1 (March 3, 2025)

Closed issues:

#6970, #6974.

Checker Framework 3.49.0

Version 3.49.0 (February 3, 2025)

User-visible changes:

The Optional Checker is more precise for Optional values resulting from
operations on container types (e.g., List, Map, Iterable). It supports
two new annotations:

• @NonEmpty
• @UnknownNonEmpty

The Signature Checker no longer supports @BinaryNameWithoutPackage because
it is equivalent to @Identifier; use @Identifier instead.

The JavaStubifier implementation now appears in package org.checkerframework.framework.stubifier.JavaStubifier.

Closed issues:

#6935, #6936, #6939.

Checker Framework 3.48.4

Version 3.48.4 (January 2, 2025)

Closed issues:

#6919, #6630.

Checker Framework 3.48.3

Version 3.48.3 (December 2, 2024)

Closed issues:

#6886.

Checker Framework 3.48.2

Version 3.48.2 (November 1, 2024)

Closed issues:

#6371, #6867.

Checker Framework 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.