Bump checker-qual from 3.12.0 to 3.24.0 in /dockerfile-image-update

[dependabot]

Bumps checker-qual from 3.12.0 to 3.24.0.

Release notes

Sourced from checker-qual's releases.

Checker Framework 3.24.0

Version 3.24.0 (August 3, 2022)

User-visible changes:

Performance improvements.

Minor bug fixes and enhancements.

Implementation details:

Prefer SystemUtil.jreVersion to SystemUtil.getJreVersion().

Closed issues:

#5200, #5216.

Checker Framework 3.23.0

Version 3.23.0 (July 11, 2022)

User-visible changes:

By default, command-line argument -AstubWarnIfNotFound is treated as true for stub files provided on the command line and false for built-in stub files. Use -AstubWarnIfNotFound to enable it for all stub files, and use new -AstubNoWarnIfNotFound to disable it for all stub files.

New command-line argument -ApermitStaticOwning suppresses Resource Leak Checker warnings related to static owning fields.

New command-line argument -ApermitInitializationLeak suppresses Resource Leak Checker warnings related to field initialization.

Closed issues:

#4855, #5151, #5166, #5172, #5175, #5181, #5189.

Checker Framework 3.22.1

Version 3.22.1 (June 1, 2022)

Closed issues: #58, #5136, #5138, #5142, #5143.

Checker Framework 3.22.0

Version 3.22.0 (May 2, 2022)

User-visible changes:

The Signedness Checker now checks calls to equals() as well as to ==. When two formal parameter types are annotated with @​PolySigned, the two arguments at a call site must have the same signedness type annotation. (This differs from the standard rule for polymorphic qualifiers.)

Implementation details:

... (truncated)

Changelog

Sourced from checker-qual's changelog.

Version 3.24.0 (August 3, 2022)

User-visible changes:

Performance improvements.

Minor bug fixes and enhancements.

Implementation details:

Prefer SystemUtil.jreVersion to SystemUtil.getJreVersion().

Closed issues:

#5200, #5216.

Version 3.23.0 (July 11, 2022)

User-visible changes:

By default, command-line argument -AstubWarnIfNotFound is treated as true for stub files provided on the command line and false for built-in stub files. Use -AstubWarnIfNotFound to enable it for all stub files, and use new -AstubNoWarnIfNotFound to disable it for all stub files.

New command-line argument -ApermitStaticOwning suppresses Resource Leak Checker warnings related to static owning fields.

New command-line argument -ApermitInitializationLeak suppresses Resource Leak Checker warnings related to field initialization.

Closed issues:

#4855, #5151, #5166, #5172, #5175, #5181, #5189.

Version 3.22.2 (June 14, 2022)

Implementation details:

Expose CFG APIs to allow inserting jumps and throws

Version 3.22.1 (June 1, 2022)

... (truncated)

Commits

• ca3d221 Formatting
• 89b6ad8 Remove dependence on umask
• 14eb5bb Update release date
• ee48688 Use Python 3, not Python 2
• 6ec1de1 Explain logic
• f5c5249 Change release date
• 57303aa Remove debugging code
• 294fbba Execute task copyJarsToDist as a separate Gradle command
• 2741e74 Fix cut-and-paste typo
• f87da95 Explain rationale
• 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 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)

[codecov]

Codecov Report

Merging #498 (03c9004) into master (54173e8) will not change coverage.
The diff coverage is n/a.

@@            Coverage Diff            @@
##             master     #498   +/-   ##
=========================================
  Coverage     81.75%   81.75%           
  Complexity      297      297           
=========================================
  Files            23       23           
  Lines          1058     1058           
  Branches        135      135           
=========================================
  Hits            865      865           
  Misses          159      159           
  Partials         34       34