Bump version.bom.org.checkerframework from 3.54.0 to 4.1.0

[dependabot]

Bumps version.bom.org.checkerframework from 3.54.0 to 4.1.0.
Updates org.checkerframework:checker-qual-android from 3.54.0 to 4.1.0

Release notes

Sourced from org.checkerframework:checker-qual-android's releases.

Checker Framework 4.1.0

Version 4.1.0 (2026-05-01)

User-visible changes

Removed deprecated script checker/bin-devel/build.sh; use ./gradlew assemble instead.

Removed deprecated names "builder", "object.construction", and "objectconstruction" for the Called Methods Checker.

Implementation details

New method annotation @DoesNotUnrefineReceiver.

In AnnotatedTypeFactory:

• new method hasDoesNotUnrefineReceiver().
• isAliasedTypeAnnotation() is now protected rather than public.

Closed issues

#6890, #7364, #7488.

Release 4.0.0 of the Checker Framework

Version 4.0.0 (2026-04-07)

User-visible changes

To run the Checker Framework, you need to use a JDK 17 or later version of javac. That is, you need to use JDK 17 or later when compiling your code.

The Checker Framework can type-check any Java project, including projects that compile to Java 8 or 11 bytecodes and run on JRE versions 8 or 11. That is, your code can run under any release of Java, from Java 8 onward.

The type qualifiers and utility libraries in checker-qual.jar and checker-util.jar still use Java 11 bytecode. Thus, they may be used in projects that run under Java 11 or later.

Changes since version 3.0.0

Since version 3.0.0, 91 authors have made over 4500 commits and closed over 600 issues. Thanks to everyone who contributed!

New checkers include:

• The Index Checker warns about out-of-bounds accesses to arrays and strings.
• The Initialized Fields Checker warns if a constructor does not initialize a field.
• The Resource Leak Checker guarantees that every resource is closed rather than leaked. Examples of resources are a channel, executor, ExecutionControl, file, FileLock, Formatter, reader, Scanner, socket, stream, writer, etc.
• The SQL Quotes Checker helps prevent SQL injection vulnerabilities.

New command-line arguments include:

• -AskipFiles, -AonlyFiles
• -AassumeSideEffectFree, -AassumeDeterministic, -AassumePure, -AassumePureGetters
• -AuseConservativeDefaultsForUncheckedCode
• -AignoreRawTypeArguments

... (truncated)

Changelog

Sourced from org.checkerframework:checker-qual-android's changelog.

Version 4.1.0 (2026-05-01)

User-visible changes

Removed deprecated script checker/bin-devel/build.sh; use ./gradlew assemble instead.

Removed deprecated names "builder", "object.construction", and "objectconstruction" for the Called Methods Checker.

Implementation details

New method annotation @DoesNotUnrefineReceiver.

In AnnotatedTypeFactory:

• new method hasDoesNotUnrefineReceiver().
• isAliasedTypeAnnotation() is now protected rather than public.

Closed issues

#6890, #7364, #7488.

Version 4.0.0 (2026-04-07)

User-visible changes

To run the Checker Framework, you need to use a JDK 17 or later version of javac. That is, you need to use JDK 17 or later when compiling your code.

The Checker Framework can type-check any Java project, including projects that compile to Java 8 or 11 bytecodes and run on JRE versions 8 or 11. That is, your code can run under any release of Java, from Java 8 onward.

The type qualifiers and utility libraries in checker-qual.jar and checker-util.jar still use Java 11 bytecode. Thus, they may be used in projects that run under Java 11 or later.

Changes since version 3.0.0

Since version 3.0.0, 91 authors have made over 4500 commits and closed over 600 issues. Thanks to everyone who contributed!

New checkers include:

• The Index Checker warns about out-of-bounds accesses to arrays and strings.
• The Initialized Fields Checker warns if a constructor does not initialize a field.

... (truncated)

Commits

• b8a7ca6 new release 4.1.0
• f1563d2 Update for release.
• 7867737 Set environment variable GH_TOKEN
• 771b037 Tweak documentation (#7668)
• 71735d1 Fix documentation typo
• 6465706 Make isAliasedTypeAnnotation() protected (#7667)
• 8af69bc Update cimg/base Docker tag to v2026.04
• fa3ad9b How to update the Hevea version number
• 18002bf Use environment variable
• dd8381c Set up GitHub Actions CI
• Additional commits viewable in compare view

Updates org.checkerframework:checker-qual from 3.54.0 to 4.1.0

Release notes

Sourced from org.checkerframework:checker-qual's releases.

Checker Framework 4.1.0

Version 4.1.0 (2026-05-01)

User-visible changes

Removed deprecated script checker/bin-devel/build.sh; use ./gradlew assemble instead.

Removed deprecated names "builder", "object.construction", and "objectconstruction" for the Called Methods Checker.

Implementation details

New method annotation @DoesNotUnrefineReceiver.

In AnnotatedTypeFactory:

• new method hasDoesNotUnrefineReceiver().
• isAliasedTypeAnnotation() is now protected rather than public.

Closed issues

#6890, #7364, #7488.

Release 4.0.0 of the Checker Framework

Version 4.0.0 (2026-04-07)

User-visible changes

To run the Checker Framework, you need to use a JDK 17 or later version of javac. That is, you need to use JDK 17 or later when compiling your code.

The Checker Framework can type-check any Java project, including projects that compile to Java 8 or 11 bytecodes and run on JRE versions 8 or 11. That is, your code can run under any release of Java, from Java 8 onward.

The type qualifiers and utility libraries in checker-qual.jar and checker-util.jar still use Java 11 bytecode. Thus, they may be used in projects that run under Java 11 or later.

Changes since version 3.0.0

Since version 3.0.0, 91 authors have made over 4500 commits and closed over 600 issues. Thanks to everyone who contributed!

New checkers include:

• The Index Checker warns about out-of-bounds accesses to arrays and strings.
• The Initialized Fields Checker warns if a constructor does not initialize a field.
• The Resource Leak Checker guarantees that every resource is closed rather than leaked. Examples of resources are a channel, executor, ExecutionControl, file, FileLock, Formatter, reader, Scanner, socket, stream, writer, etc.
• The SQL Quotes Checker helps prevent SQL injection vulnerabilities.

New command-line arguments include:

• -AskipFiles, -AonlyFiles
• -AassumeSideEffectFree, -AassumeDeterministic, -AassumePure, -AassumePureGetters
• -AuseConservativeDefaultsForUncheckedCode
• -AignoreRawTypeArguments

... (truncated)

Changelog

Sourced from org.checkerframework:checker-qual's changelog.

Version 4.1.0 (2026-05-01)

User-visible changes

Removed deprecated script checker/bin-devel/build.sh; use ./gradlew assemble instead.

Removed deprecated names "builder", "object.construction", and "objectconstruction" for the Called Methods Checker.

Implementation details

New method annotation @DoesNotUnrefineReceiver.

In AnnotatedTypeFactory:

• new method hasDoesNotUnrefineReceiver().
• isAliasedTypeAnnotation() is now protected rather than public.

Closed issues

#6890, #7364, #7488.

Version 4.0.0 (2026-04-07)

User-visible changes

To run the Checker Framework, you need to use a JDK 17 or later version of javac. That is, you need to use JDK 17 or later when compiling your code.

The Checker Framework can type-check any Java project, including projects that compile to Java 8 or 11 bytecodes and run on JRE versions 8 or 11. That is, your code can run under any release of Java, from Java 8 onward.

The type qualifiers and utility libraries in checker-qual.jar and checker-util.jar still use Java 11 bytecode. Thus, they may be used in projects that run under Java 11 or later.

Changes since version 3.0.0

Since version 3.0.0, 91 authors have made over 4500 commits and closed over 600 issues. Thanks to everyone who contributed!

New checkers include:

• The Index Checker warns about out-of-bounds accesses to arrays and strings.
• The Initialized Fields Checker warns if a constructor does not initialize a field.

... (truncated)

Commits

• b8a7ca6 new release 4.1.0
• f1563d2 Update for release.
• 7867737 Set environment variable GH_TOKEN
• 771b037 Tweak documentation (#7668)
• 71735d1 Fix documentation typo
• 6465706 Make isAliasedTypeAnnotation() protected (#7667)
• 8af69bc Update cimg/base Docker tag to v2026.04
• fa3ad9b How to update the Hevea version number
• 18002bf Use environment variable
• dd8381c Set up GitHub Actions CI
• Additional commits viewable in compare view

Updates org.checkerframework:checker-util from 3.54.0 to 4.1.0

Release notes

Sourced from org.checkerframework:checker-util's releases.

Checker Framework 4.1.0

Version 4.1.0 (2026-05-01)

User-visible changes

Removed deprecated script checker/bin-devel/build.sh; use ./gradlew assemble instead.

Removed deprecated names "builder", "object.construction", and "objectconstruction" for the Called Methods Checker.

Implementation details

New method annotation @DoesNotUnrefineReceiver.

In AnnotatedTypeFactory:

• new method hasDoesNotUnrefineReceiver().
• isAliasedTypeAnnotation() is now protected rather than public.

Closed issues

#6890, #7364, #7488.

Release 4.0.0 of the Checker Framework

Version 4.0.0 (2026-04-07)

User-visible changes

To run the Checker Framework, you need to use a JDK 17 or later version of javac. That is, you need to use JDK 17 or later when compiling your code.

The Checker Framework can type-check any Java project, including projects that compile to Java 8 or 11 bytecodes and run on JRE versions 8 or 11. That is, your code can run under any release of Java, from Java 8 onward.

The type qualifiers and utility libraries in checker-qual.jar and checker-util.jar still use Java 11 bytecode. Thus, they may be used in projects that run under Java 11 or later.

Changes since version 3.0.0

Since version 3.0.0, 91 authors have made over 4500 commits and closed over 600 issues. Thanks to everyone who contributed!

New checkers include:

• The Index Checker warns about out-of-bounds accesses to arrays and strings.
• The Initialized Fields Checker warns if a constructor does not initialize a field.
• The Resource Leak Checker guarantees that every resource is closed rather than leaked. Examples of resources are a channel, executor, ExecutionControl, file, FileLock, Formatter, reader, Scanner, socket, stream, writer, etc.
• The SQL Quotes Checker helps prevent SQL injection vulnerabilities.

New command-line arguments include:

• -AskipFiles, -AonlyFiles
• -AassumeSideEffectFree, -AassumeDeterministic, -AassumePure, -AassumePureGetters
• -AuseConservativeDefaultsForUncheckedCode
• -AignoreRawTypeArguments

... (truncated)

Changelog

Sourced from org.checkerframework:checker-util's changelog.

Version 4.1.0 (2026-05-01)

User-visible changes

Removed deprecated script checker/bin-devel/build.sh; use ./gradlew assemble instead.

Removed deprecated names "builder", "object.construction", and "objectconstruction" for the Called Methods Checker.

Implementation details

New method annotation @DoesNotUnrefineReceiver.

In AnnotatedTypeFactory:

• new method hasDoesNotUnrefineReceiver().
• isAliasedTypeAnnotation() is now protected rather than public.

Closed issues

#6890, #7364, #7488.

Version 4.0.0 (2026-04-07)

User-visible changes

To run the Checker Framework, you need to use a JDK 17 or later version of javac. That is, you need to use JDK 17 or later when compiling your code.

The Checker Framework can type-check any Java project, including projects that compile to Java 8 or 11 bytecodes and run on JRE versions 8 or 11. That is, your code can run under any release of Java, from Java 8 onward.

The type qualifiers and utility libraries in checker-qual.jar and checker-util.jar still use Java 11 bytecode. Thus, they may be used in projects that run under Java 11 or later.

Changes since version 3.0.0

Since version 3.0.0, 91 authors have made over 4500 commits and closed over 600 issues. Thanks to everyone who contributed!

New checkers include:

• The Index Checker warns about out-of-bounds accesses to arrays and strings.
• The Initialized Fields Checker warns if a constructor does not initialize a field.

... (truncated)

Commits

• b8a7ca6 new release 4.1.0
• f1563d2 Update for release.
• 7867737 Set environment variable GH_TOKEN
• 771b037 Tweak documentation (#7668)
• 71735d1 Fix documentation typo
• 6465706 Make isAliasedTypeAnnotation() protected (#7667)
• 8af69bc Update cimg/base Docker tag to v2026.04
• fa3ad9b How to update the Hevea version number
• 18002bf Use environment variable
• dd8381c Set up GitHub Actions CI
• Additional commits viewable in compare view

Updates org.checkerframework:checker from 3.54.0 to 4.1.0

Release notes

Sourced from org.checkerframework:checker's releases.

Checker Framework 4.1.0

Version 4.1.0 (2026-05-01)

User-visible changes

Removed deprecated script checker/bin-devel/build.sh; use ./gradlew assemble instead.

Removed deprecated names "builder", "object.construction", and "objectconstruction" for the Called Methods Checker.

Implementation details

New method annotation @DoesNotUnrefineReceiver.

In AnnotatedTypeFactory:

• new method hasDoesNotUnrefineReceiver().
• isAliasedTypeAnnotation() is now protected rather than public.

Closed issues

#6890, #7364, #7488.

Release 4.0.0 of the Checker Framework

Version 4.0.0 (2026-04-07)

User-visible changes

To run the Checker Framework, you need to use a JDK 17 or later version of javac. That is, you need to use JDK 17 or later when compiling your code.

The Checker Framework can type-check any Java project, including projects that compile to Java 8 or 11 bytecodes and run on JRE versions 8 or 11. That is, your code can run under any release of Java, from Java 8 onward.

The type qualifiers and utility libraries in checker-qual.jar and checker-util.jar still use Java 11 bytecode. Thus, they may be used in projects that run under Java 11 or later.

Changes since version 3.0.0

Since version 3.0.0, 91 authors have made over 4500 commits and closed over 600 issues. Thanks to everyone who contributed!

New checkers include:

• The Index Checker warns about out-of-bounds accesses to arrays and strings.
• The Initialized Fields Checker warns if a constructor does not initialize a field.
• The Resource Leak Checker guarantees that every resource is closed rather than leaked. Examples of resources are a channel, executor, ExecutionControl, file, FileLock, Formatter, reader, Scanner, socket, stream, writer, etc.
• The SQL Quotes Checker helps prevent SQL injection vulnerabilities.

New command-line arguments include:

• -AskipFiles, -AonlyFiles
• -AassumeSideEffectFree, -AassumeDeterministic, -AassumePure, -AassumePureGetters
• -AuseConservativeDefaultsForUncheckedCode
• -AignoreRawTypeArguments

... (truncated)

Changelog

Sourced from org.checkerframework:checker's changelog.

Version 4.1.0 (2026-05-01)

User-visible changes

Removed deprecated script checker/bin-devel/build.sh; use ./gradlew assemble instead.

Removed deprecated names "builder", "object.construction", and "objectconstruction" for the Called Methods Checker.

Implementation details

New method annotation @DoesNotUnrefineReceiver.

In AnnotatedTypeFactory:

• new method hasDoesNotUnrefineReceiver().
• isAliasedTypeAnnotation() is now protected rather than public.

Closed issues

#6890, #7364, #7488.

Version 4.0.0 (2026-04-07)

User-visible changes

To run the Checker Framework, you need to use a JDK 17 or later version of javac. That is, you need to use JDK 17 or later when compiling your code.

The Checker Framework can type-check any Java project, including projects that compile to Java 8 or 11 bytecodes and run on JRE versions 8 or 11. That is, your code can run under any release of Java, from Java 8 onward.

The type qualifiers and utility libraries in checker-qual.jar and checker-util.jar still use Java 11 bytecode. Thus, they may be used in projects that run under Java 11 or later.

Changes since version 3.0.0

Since version 3.0.0, 91 authors have made over 4500 commits and closed over 600 issues. Thanks to everyone who contributed!

New checkers include:

• The Index Checker warns about out-of-bounds accesses to arrays and strings.
• The Initialized Fields Checker warns if a constructor does not initialize a field.

... (truncated)

Commits

• b8a7ca6 new release 4.1.0
• f1563d2 Update for release.
• 7867737 Set environment variable GH_TOKEN
• 771b037 Tweak documentation (#7668)
• 71735d1 Fix documentation typo
• 6465706 Make isAliasedTypeAnnotation() protected (#7667)
• 8af69bc Update cimg/base Docker tag to v2026.04
• fa3ad9b How to update the Hevea version number
• 18002bf Use environment variable
• dd8381c Set up GitHub Actions CI
• Additional commits viewable in compare view

Updates org.checkerframework:dataflow-errorprone from 3.54.0 to 4.1.0

Release notes

Sourced from org.checkerframework:dataflow-errorprone's releases.

Checker Framework 4.1.0

Version 4.1.0 (2026-05-01)

User-visible changes

Removed deprecated script checker/bin-devel/build.sh; use ./gradlew assemble instead.

Removed deprecated names "builder", "object.construction", and "objectconstruction" for the Called Methods Checker.

Implementation details

New method annotation @DoesNotUnrefineReceiver.

In AnnotatedTypeFactory:

• new method hasDoesNotUnrefineReceiver().
• isAliasedTypeAnnotation() is now protected rather than public.

Closed issues

#6890, #7364, #7488.

Release 4.0.0 of the Checker Framework

Version 4.0.0 (2026-04-07)

User-visible changes

To run the Checker Framework, you need to use a JDK 17 or later version of javac. That is, you need to use JDK 17 or later when compiling your code.

The Checker Framework can type-check any Java project, including projects that compile to Java 8 or 11 bytecodes and run on JRE versions 8 or 11. That is, your code can run under any release of Java, from Java 8 onward.

The type qualifiers and utility libraries in checker-qual.jar and checker-util.jar still use Java 11 bytecode. Thus, they may be used in projects that run under Java 11 or later.

Changes since version 3.0.0

Since version 3.0.0, 91 authors have made over 4500 commits and closed over 600 issues. Thanks to everyone who contributed!

New checkers include:

• The Index Checker warns about out-of-bounds accesses to arrays and strings.
• The Initialized Fields Checker warns if a constructor does not initialize a field.
• The Resource Leak Checker guarantees that every resource is closed rather than leaked. Examples of resources are a channel, executor, ExecutionControl, file, FileLock, Formatter, reader, Scanner, socket, stream, writer, etc.
• The SQL Quotes Checker helps prevent SQL injection vulnerabilities.

New command-line arguments include:

• -AskipFiles, -AonlyFiles
• -AassumeSideEffectFree, -AassumeDeterministic, -AassumePure, -AassumePureGetters
• -AuseConservativeDefaultsForUncheckedCode
• -AignoreRawTypeArguments

... (truncated)

Changelog

Sourced from org.checkerframework:dataflow-errorprone's changelog.

Version 4.1.0 (2026-05-01)

User-visible changes

Removed deprecated script checker/bin-devel/build.sh; use ./gradlew assemble instead.

Removed deprecated names "builder", "object.construction", and "objectconstruction" for the Called Methods Checker.

Implementation details

New method annotation @DoesNotUnrefineReceiver.

In AnnotatedTypeFactory:

• new method hasDoesNotUnrefineReceiver().
• isAliasedTypeAnnotation() is now protected rather than public.

Closed issues

#6890, #7364, #7488.

Version 4.0.0 (2026-04-07)

User-visible changes

To run the Checker Framework, you need to use a JDK 17 or later version of javac. That is, you need to use JDK 17 or later when compiling your code.

The Checker Framework can type-check any Java project, including projects that compile to Java 8 or 11 bytecodes and run on JRE versions 8 or 11. That is, your code can run under any release of Java, from Java 8 onward.

The type qualifiers and utility libraries in checker-qual.jar and checker-util.jar still use Java 11 bytecode. Thus, they may be used in projects that run under Java 11 or later.

Changes since version 3.0.0

Since version 3.0.0, 91 authors have made over 4500 commits and closed over 600 issues. Thanks to everyone who contributed!

New checkers include:

• The Index Checker warns about out-of-bounds accesses to arrays and strings.
• The Initialized Fields Checker warns if a constructor does not initialize a field.

... (truncated)

Commits

• b8a7ca6 new release 4.1.0
• f1563d2 Update for release.
• 7867737 Set environment variable GH_TOKEN
• 771b037 Tweak documentation (#7668)
• 71735d1 Fix documentation typo
• 6465706 Make isAliasedTypeAnnotation() protected (#7667)
• 8af69bc Update cimg/base Docker tag to v2026.04
• fa3ad9b How to update the Hevea version number
• 18002bf Use environment variable
• dd8381c Set up GitHub Actions CI
• Additional commits viewable in compare view

Updates org.checkerframework:dataflow-nullaway from 3.54.0 to 4.1.0

Release notes

Sourced from org.checkerframework:dataflow-nullaway's releases.

Checker Framework 4.1.0

Version 4.1.0 (2026-05-01)

User-visible changes

Removed deprecated script checker/bin-devel/build.sh; use ./gradlew assemble instead.

Removed deprecated names "builder", "object.construction", and "objectconstruction" for the Called Methods Checker.

Implementation details

New method annotation @DoesNotUnrefineReceiver.

In AnnotatedTypeFactory:

• new method hasDoesNotUnrefineReceiver().
• isAliasedTypeAnnotation() is now protected rather than public.

Closed issues

#6890, #7364, #7488.

Release 4.0.0 of the Checker Framework

Version 4.0.0 (2026-04-07)

User-visible changes

To run the Checker Framework, you need to use a JDK 17 or later version of javac. That is, you need to use JDK 17 or later when compiling your code.

The Checker Framework can type-check any Java project, including projects that compile to Java 8 or 11 bytecodes and run on JRE versions 8 or 11. That is, your code can run under any release of Java, from Java 8 onward.

The type qualifiers and utility libraries in checker-qual.jar and checker-util.jar still use Java 11 bytecode. Thus, they may be used in projects that run under Java 11 or later.

Changes since version 3.0.0

Since version 3.0.0, 91 authors have made over 4500 commits and closed over 600 issues. Thanks to everyone who contributed!

New checkers include:

• The Index Checker warns about out-of-bounds accesses to arrays and strings.
• The Initialized Fields Checker warns if a constructor does not initialize a field.
• The Resource Leak Checker guarantees that every resource is closed rather than leaked. Examples of resources are a channel, executor, ExecutionControl, file, FileLock, Formatter, reader, Scanner, socket, stream, writer, etc.
• The SQL Quotes Checker helps prevent SQL injection vulnerabilities.

New command-line arguments include:

• -AskipFiles, -AonlyFiles
• -AassumeSideEffectFree, -AassumeDeterministic, -AassumePure, -AassumePureGetters
• -AuseConservativeDefaultsForUncheckedCode
• -AignoreRawTypeArguments

... (truncated)

Changelog

Sourced from org.checkerframework:dataflow-nullaway's changelog.

Version 4.1.0 (2026-05-01)

User-visible changes

Removed deprecated script checker/bin-devel/build.sh; use ./gradlew assemble instead.

Removed deprecated names "builder", "object.construction", and "objectconstruction" for the Called Methods Checker.

Implementation details

New method annotation @DoesNotUnrefineReceiver.

In AnnotatedTypeFactory:

• new method hasDoesNotUnrefineReceiver().
• isAliasedTypeAnnotation() is now protected rather than public.

Closed issues

#6890, #7364, #7488.

Version 4.0.0 (2026-04-07)

User-visible changes

To run the Checker Framework, you need to use a JDK 17 or later version of javac. That is, you need to use JDK 17 or later when compiling your code.

The Checker Framework can type-check any Java project, including projects that compile to Java 8 or 11 bytecodes and run on JRE versions 8 or 11. That is, your code can run under any release of Java, from Java 8 onward.

The type qualifiers and utility libraries in checker-qual.jar and checker-util.jar still use Java 11 bytecode. Thus, they may be used in projects that run under Java 11 or later.

Changes since version 3.0.0

Since version 3.0.0, 91 authors have made over 4500 commits and closed over 600 issues. Thanks to everyone who contributed!

New checkers include:

• The Index Checker warns about out-of-bounds accesses to arrays and strings.
• The Initialized Fields Checker warns if a constructor does not initialize a field.

... (truncated)

Commits

• b8a7ca6 new release 4.1.0
• f1563d2 Update for release.
• 7867737 Set environment variable GH_TOKEN
• 771b037 Tweak documentation (#7668)
• 71735d1 Fix documentation typo
• 6465706 Make isAliasedTypeAnnotation() protected (#7667)
• 8af69bc Update cimg/base Docker tag to v2026.04
• fa3ad9b How to update the Hevea version number
• 18002bf Use environment variable
• dd8381c Set up GitHub Actions CI
• Additional commits viewable in compare view

Updates org.checkerframework:dataflow-shaded from 3.54.0 to 4.1.0

Release notes

Sourced from org.checkerframework:dataflow-shaded's releases.

Checker Framework 4.1.0

Version 4.1.0 (2026-05-01)

User-visible changes

Removed deprecated script checker/bin-devel/build.sh; use ./gradlew assemble instead.

Removed deprecated names "builder", "object.construction", and "objectconstruction" for the Called Methods Checker.

Implementation details

New method annotation @DoesNotUnrefineReceiver.

In AnnotatedTypeFactory:

• new method hasDoesNotUnrefineReceiver().
• isAliasedTypeAnnotation() is now protected rather than public.

Closed issues

#6890, #7364, #7488.

Release 4.0.0 of the Checker Framework

Version 4.0.0 (2026-04-07)

User-visible changes

To run the Checker Framework, you need to use a JDK 17 or later version of javac. That is, you need to use JDK 17 or later when compiling your code.

The Checker Framework can type-check any Java project, including projects that compile to Java 8 or 11 bytecodes and run on JRE versions 8 or 11. That is, your code can run under any release of Java, from Java 8 onward.

The type qualifiers and utility libraries in checker-qual.jar and checker-util.jar still use Java 11 bytecode. Thus, they may be used in projects that run under Java 11 or later.

Changes since version 3.0.0

Since version 3.0.0, 91 authors have made over 4500 commits and closed over 600 issues. Thanks to everyone who contributed!

New checkers include:

• The Index Checker warns about out-of-bounds accesses to arrays and strings.
• The Initialized Fields Checker warns if a constructor does not initialize a field.
• The Resource Leak Checker guarantees that every resource is closed rather than leaked. Examples of resources are a channel, executor, ExecutionControl, file, FileLock, Formatter, reader, Scanner, socket, stream, writer, etc.
• The SQL Quotes Checker helps prevent SQL injection vulnerabilities.

New command-line arguments include:

• -AskipFiles, -AonlyFiles
• -AassumeSideEffectFree, -AassumeDeterministic, -AassumePure, -AassumePureGetters
• -AuseConservativeDefaultsForUncheckedCode
• -AignoreRawTypeArguments

... (truncated)

Changelog

Sourced from org.checkerframework:dataflow-shaded's changelog.

Version 4.1.0 (2026-05-01)

User-visible changes

Removed deprecated script checker/bin-devel/build.sh; use ./gradlew assemble instead.

Removed deprecated names "builder", "object.construction", and "objectconstruction" for the Called Methods Checker.

Implementation details

New method annotation @DoesNotUnrefineReceiver.

In AnnotatedTypeFactory:

• new method hasDoesNotUnrefineReceiver().
• isAliasedTypeAnnotation() is now protected rather than public.

Closed issues

#6890, #7364, #7488.

Version 4.0.0 (2026-04-07)

User-visible changes

To run the Checker Framework, you need to use a JDK 17 or later version of javac. That is, you need to use JDK 17 or later when compiling your code.

The Checker Framework can type-check any Java project, including projects that compile to Java 8 or 11 bytecodes and run on JRE versions 8 or 11. That is, your code can run under any release of Java, from Java 8 onward.

The type qualifiers and utility libraries in checker-qual.jar and checker-util.jar still use Java 11 bytecode. Thus, they may be used in projects that run under Java 11 or later.

Changes since version 3.0.0

Since version 3.0.0, 91 authors have made over 4500 commits and closed over 600 issues. Thanks to everyone who contributed!

New checkers include:

• The Index Checker warns about out-of-bounds accesses to arrays and strings.
• The Initialized Fields Checker warns if a constructor does not initialize a field.

... (truncated)

Commits

• b8a7ca6 new release 4.1.0
• f1563d2 Update for release.
• 7867737 Set environment variable GH_TOKEN
• 771b037 Tweak documentation (#7668)
• 71735d1 Fix documentation typo
• 6465706 Make isAliasedTypeAnnotation() protected (#7667)
• 8af69bc Update cimg/base Docker tag to v2026.04
• fa3ad9b How to update the Hevea version number
• 18002bf Use environment variable
• dd8381c Set up GitHub Actions CI
• Additional commits viewable in compare view

Updates org.checkerframework:dataflow from 3.54.0 to 4.1.0

Release notes

Sourced from org.checkerframework:dataflow's releases.

Checker Framework 4.1.0

Version 4.1.0 (2026-05-01)

User-visible changes

Removed deprecated script checker/bin-devel/build.sh; use ./gradlew assemble instead.

Removed deprecated names "builder", "object.construction", and "objectconstruction" for the Called Methods Checker.

Implementation details

New method annotation @DoesNotUnrefineReceiver.

In AnnotatedTypeFactory:

• new method hasDoesNotUnrefineReceiver().
• isAliasedTypeAnnotation() is now protected rather than public.

Closed issues

#6890, #7364, #7488.

Release 4.0.0 of the Checker Framework

Version 4.0.0 (2026-04-07)

User-visible changes

To run the Checker Framework, you need to use a JDK 17 or later version of javac. That is, you need to use JDK 17 or later when compiling your code.

The Checker Framework can type-check any Java project, including projects that compile to Java 8 or 11 bytecodes and run on JRE versions 8 or 11. That is, your code can run under any release of Java, from Java 8 onward.

The type qualifiers and utility libraries in checker-qual.jar and checker-util.jar still use Java 11 bytecode. Thus, they may be used in projects that run under Java 11 or later.

Changes since version 3.0.0

Since version 3.0.0, 91 authors have made over 4500 commits and closed over 600 issues. Thanks to everyone who contributed!

New checkers include:

• The Index Checker warns about out-of-bounds accesses to arrays and strings.
• The Initialized Fields Checker warns if a constructor does not initialize a field.
• The Resource Leak Checker guarantees that every resource is closed rather than leaked. Examples of resources are a channel, executor, ExecutionControl, file, FileLock, Formatter, reader, Scanner, socket, stream, writer, etc.
• The SQL Quotes Checker helps prevent SQL injection vulnerabilities.

New command-line arguments include:

• -AskipFiles, -AonlyFiles
• -AassumeSideEffectFree, -AassumeDeterministic, -AassumePure, -AassumePureGetters
• -AuseConservativeDefaultsForUncheckedCode
• -AignoreRawTypeArguments

... (truncated)

Changelog

Sourced from org.checkerframework:dataflow's changelog.

Version 4.1.0 (2026-05-01)

User-visible changes

Removed deprecated script checker/bin-devel/build.sh; use ./gradlew assemble instead.

Removed deprecated names "builder", "object.construction", and "objectconstruction" for the Called Methods Checker.

Implementation details

New method annotation @DoesNotUnrefineReceiver.

In AnnotatedTypeFactory:

• new method hasDoesNotUnrefineReceiver().
• isAliasedTypeAnnotation() is now protected rather than public.

Closed issues

#6890, #7364, #7488.

Version 4.0.0 (2026-04-07)

User-visible changes

To run the Checker Framework, you need to use a JDK 17 or later version of javac. That is, you need to use JDK 17 or later when compiling your code.

The Checker Framework can type-check any Java project, including projects that compile to Java 8 or 11 bytecodes and run on JRE versions 8 or 11. That is, your code can run under any release of Java, from Java 8 onward.

The type qualifiers and utility libraries in checker-qual.jar and checker-util.jar still use Java 11 bytecode. Thus, they may be used in projects that run under Java 11 or later.

Changes since version 3.0.0

Since version 3.0.0, 91 authors have made over 4500 commits and closed over 600 issues. Thanks to everyone who contributed!

New checkers include:

• The Index Checker warns about out-of-bounds accesses to arrays and strings.
• The Initialized Fields Checker warns if a constructor does not initialize a field.

... (truncated)

Commits

• b8a7ca6 new release 4.1.0
• f1563d2 Update for release.
• 7867737 Set environment variable GH_TOKEN
• 771b037 Tweak documentation (#7668)
• 71735d1 Fix documentation typo
• 6465706 Make isAliasedTypeAnnotation() protected (#7667)
• 8af69bc Update cimg/base Docker tag to v2026.04
• fa3ad9b How to update the Hevea version number
• 18002bf Use environment variable
• dd8381c Set up GitHub Actions CI
• Additional commits viewable in compare view

Updates org.checkerframework:framework-test from 3.54.0 to 4.1.0

Release notes

Sourced from org.checkerframework:framework-test's releases.

Checker Framework 4.1.0

Version 4.1.0 (2026-05-01)

User-visible changes

Removed deprecated script checker/bin-devel/build.sh; use ./gradlew assemble instead.

Removed deprecated names "builder", "object.construction", and "objectconstruction" for the Called Methods Checker.

Implementation details

New method annotation @DoesNotUnrefineReceiver.

In AnnotatedTypeFactory:

• new method hasDoesNotUnrefineReceiver().
• isAliasedTypeAnnotation() is now protected rather than public.

Closed issues

#6890, #7364, #7488.

Release 4.0.0 of the Checker Framework

Version 4.0.0 (2026-04-07)

User-visible changes

To run the Checker Framework, you need to use a JDK 17 or later version of javac. That is, you need to use JDK 17 or later when compiling your code.

The Checker Framework can type-check any Java project, including projects that compile to Jav...

Description has been truncated

[hibernate-github-bot]

Thanks for your pull request!

This pull request does not follow the contribution rules. Could you have a look?

❌ All commit messages should start with a JIRA issue key matching pattern HSEARCH-\d+
    ↳ Offending commits: [a7a1736]

› This message was automatically generated.

[hibernate-github-bot]

Thanks for your pull request!

This pull request does not follow the contribution rules. Could you have a look?

❌ All commit messages should start with a JIRA issue key matching pattern HSEARCH-\d+
    ↳ Offending commits: [a7a1736]

› This message was automatically generated.

[hibernate-github-bot]

Thanks for your pull request!

This pull request does not follow the contribution rules. Could you have a look?

❌ All commit messages should start with a JIRA issue key matching pattern HSEARCH-\d+
    ↳ Offending commits: [a7a1736]

› This message was automatically generated.