Release 3.51.0 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.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.