Sourced from checker-qual's releases.

Checker Framework 3.6.0

Version 3.6.0, August 3, 2020

The Interning Checker supports method annotations @EqualsMethod and @CompareToMethod. Place them on methods like equals(), compareTo(), and compare() to permit certain uses of == on non-interned values.

Added an overloaded version of NullnessUtil.castNonNull that takes an error message.

Added a new option -Aversion to print the version of the Checker Framework.

New CFGVisualizeLauncher command-line arguments:

• --outputdir: directory in which to write output files
• --string: print the control flow graph in the terminal All CFGVisualizeLauncher command-line arguments now start with -- instead of -.

Implementation details:

commonAssignmentCheck() now takes an additional argument. Type system authors must update their overriding implementations.

Renamed GenericAnnotatedTypeFactory#addAnnotationsFromDefaultQualifierForUse to #addAnnotationsFromDefaultForType and BaseTypeValidator#shouldCheckTopLevelDeclaredType to #shouldCheckTopLevelDeclaredOrPrimitiveType

Removed org.checkerframework.framework.test.FrameworkPer(Directory/File)Test classes. Use CheckerFrameworkPer(Directory/File)Test instead.

Closed issues: #1395, #2483, #3207, #3223, #3224, #3313, #3381, #3422, #3424, #3428, #3429, #3438, #3442, #3443, #3447, #3449, #3461, #3482, #3485, #3495, #3500, #3528.

Checker Framework 3.5.0

Version 3.5.0, July 1, 2020

Use "allcheckers:" instead of "all:" as a prefix in a warning suppression string. Writing @SuppressWarnings("allcheckers") means the same thing as @SuppressWarnings("all"), unless the -ArequirePrefixInWarningSuppressions command-line argument is supplied. See the manual for details.

It is no longer necessary to pass -Astubs=checker.jar/javadoc.astub when compiling a program that uses Javadoc classes.

Renamed command-line arguments:

• -AshowSuppressWarningKeys to -AshowSuppressWarningsStrings

The Signature Checker no longer considers Java keywords to be identifiers. Renamed Signature Checker annotations: @BinaryNameInUnnamedPackage => @BinaryNameWithoutPackage @FieldDescriptorForPrimitiveOrArrayInUnnamedPackage => @FieldDescriptorWithoutPackage @IdentifierOrArray => @ArrayWithoutPackage Added new Signature Checker annotations: @BinaryNameOrPrimitiveType @DotSeparatedIdentifiersOrPrimitiveType #IdentifierOrPrimitiveType

The Nullness Checker now treats System.getProperty() soundly. Use -Alint=permitClearProperty to disable special treatment of System.getProperty() and to permit undefining built-in system properties.

Class qualifier parameters: When a generic class represents a collection, a user can write a type qualifier on the type argument, as in List<@Tainted Character> versus List<@Untainted Character>. When a non-generic class represents a collection with a hard-coded type (as StringBuffer hard-codes Character), you can use the new class qualifier parameter feature to distinguish StringBuffers that contain different types of characters.

The Dataflow Framework supports backward analysis. See its manual.

Sourced from checker-qual's changelog.

---

Version 3.6.1, September 2, 2020

Documented that the Checker Framework can issue false positive warnings in dead code.

Documented when the Signedness Checker permits right shift operations.

Closed issues: #3484, #3562, #3565, #3566, #3570, #3584, #3594, #3597, #3598.

---

Version 3.6.0, August 3, 2020

The Interning Checker supports method annotations @EqualsMethod and @CompareToMethod. Place them on methods like equals(), compareTo(), and compare() to permit certain uses of == on non-interned values.

Added an overloaded version of NullnessUtil.castNonNull that takes an error message.

Added a new option -Aversion to print the version of the Checker Framework.

New CFGVisualizeLauncher command-line arguments:

• --outputdir: directory in which to write output files
• --string: print the control flow graph in the terminal All CFGVisualizeLauncher command-line arguments now start with -- instead of -.

Implementation details:

commonAssignmentCheck() now takes an additional argument. Type system authors must update their overriding implementations.

Renamed GenericAnnotatedTypeFactory#addAnnotationsFromDefaultQualifierForUse to #addAnnotationsFromDefaultForType and BaseTypeValidator#shouldCheckTopLevelDeclaredType to #shouldCheckTopLevelDeclaredOrPrimitiveType

Removed org.checkerframework.framework.test.FrameworkPer(Directory/File)Test classes. Use CheckerFrameworkPer(Directory/File)Test instead.

Closed issues:

#1395, #2483, #3207, #3223, #3224, #3313, #3381, #3422, #3424, #3428, #3429, #3438, #3442, #3443, #3447, #3449, #3461, #3482, #3485, #3495, #3500, #3528.

---

Version 3.5.0, July 1, 2020

• 4f517dc new release 3.6.1
• 5982ab5 Adjust date
• 8d26522 Bump require-javadoc from 0.3.1 to 1.0.0
• 8a2d14e Bump reflection-util from 0.2.2 to 1.0.0
• 458e682 Add comment
• 02f4f80 Improve release scripts
• c7a10f6 Fixed Testcase for Issue 877
• 88bca67 Untabify
• cc17278 Handle a new Gradle wrapper being installed
• d5ccd82 Update version number to 3.6.1 in build.gradle
• Additional commits viewable in compare view

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)