typetools/checker-framework checker-framework-3.51.0

Checker Framework 3.51.0

on GitHub

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.