Release 3.33.0 of the Checker Framework
6 views
Skip to first unread message
Suzanne Millstein
Apr 3, 2023, 1:03:31 PM4/3/23
to Checker Framework discussion
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.33.0:
**User-visible changes:**
The new command-line argument `-AwarnRedundantAnnotations` warns about redundant annotations. With this flag, a warning is issued if an explicitly written annotation on a type is the same as the default annotation. This feature does not warn about all redundant annotations, only some.
The Value Checker is cognizant of signedness annotations. This eliminates some false positive warnings.
**Implementation details:**
The Checker Framework no longer builds under JDK 8. However, you can still run the Checker Framework under JDK 8.
**Closed issues:**
#3785, #5436, #5708, #5717, #5720, #5721, #5727, #5732.
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.33.0:
**User-visible changes:**
The new command-line argument `-AwarnRedundantAnnotations` warns about redundant annotations. With this flag, a warning is issued if an explicitly written annotation on a type is the same as the default annotation. This feature does not warn about all redundant annotations, only some.
The Value Checker is cognizant of signedness annotations. This eliminates some false positive warnings.
**Implementation details:**
The Checker Framework no longer builds under JDK 8. However, you can still run the Checker Framework under JDK 8.
**Closed issues:**
#3785, #5436, #5708, #5717, #5720, #5721, #5727, #5732.
Reply all
Reply to author
Forward
0 new messages