Checker Framework 3.52.1

Version 3.52.1 (2025-12-02)

User-visible changes:

Added Opt.ifPresentOrElse() method.

Closed issues:
#7243, #7398.

Checker Framework 3.52.0

Version 3.52.0 (2025-11-04)

Implementation details:

In CFAbstractAnalysis, renamed defaultCreateAbstractValue to getCfValue

In GenericAnnotatedTypeFactory:

• renamed performFlowAnalysis to performFlowAnalysisForClass
• renamed checkAndPerformFlowAnalysis to performFlowAnalysisForClassOnce

Closed issues:

#6629, #7341, #7346.

Checker Framework 3.51.1

Version 3.51.1 (2025-10-01)

Closed issues:

#6623, #7250.

Checker Framework 3.51.0

Version 3.51.0 (2025-09-10)

User-visible changes:

If you supply --add-exports flags when you run the Checker Framework, you need to add:
--add-exports=jdk.compiler/com.sun.tools.javac.parser=ALL-UNNAMED.

Implementation details:

In CFGVisualizeOptions:

• renamed isPDF() to isPdfOutput()
• renamed isString() to isStringOutput()

Dataflow Framework:

• In playground package, renamed *Playground.java to *Pdf.java

Closed issues:

#7229, #7241, #7248, #7258.

Checker Framework 3.50.0

Version 3.50.0 (2025-08-28)

User-visible changes:

If you supply --add-exports flags when you run the Checker Framework, you need to add:
--add-exports=jdk.compiler/com.sun.tools.javac.parser=ALL-UNNAMED.

Implementation details:

Moved the Annotation File Utilities code into the Checker Framework repository as a subproject.

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.