Bump org.checkerframework:checker-qual from 3.51.0 to 3.52.0

[dependabot[bot]]

Bumps org.checkerframework:checker-qual from 3.51.0 to 3.52.0.

Release notes

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

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.

Changelog

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

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.

Version 3.51.1 (2025-10-01)

Closed issues: #6623, #7250.

Commits

• f9d86ac new release 3.52.0
• 1ebc96f Fix links.
• 6063220 Use double quotes.
• a1fe8ec Update for release.
• 3d7a9fa Fix building AFU manual (#7349)
• a42d169 Change heap size to 4g
• 2518090 Use isEmpty() in preference to size()
• 8a3b47b Increase max heap size for tests
• 2de6d5c Update cimg/base Docker tag to v2025.11 (#7352)
• da473f3 Update dependency com.amazonaws:aws-java-sdk-bom to v1.12.793 (#7351)
• Additional commits viewable in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

[coderabbitai[bot]]

[!IMPORTANT]

Review skipped

Bot user detected.

To trigger a single review, invoke the @coderabbitai review command.

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

---

[!NOTE]

Free review on us!

CodeRabbit is offering free reviews until Thu Nov 06 2025 to showcase some of the refinements we've made.

_{Comment @coderabbitai help to get the list of available commands and usage tips.}