Release 3.29.0 of the Checker Framework
10 views
Skip to first unread message
Suzanne Millstein
Jan 5, 2023, 2:12:43 PM1/5/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.29.0:
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.29.0:
**User-visible changes:**
Dropped support for `-ApermitUnsupportedJdkVersion` command-line argument. You can now run the Checker Framework under any JDK version, without a warning.
Pass `-Astubs=permit-nullness-assertion-exception.astub` to not be warned about null pointer exceptions within nullness assertion methods like `Objects.requireNonNull`.
Pass `-Astubs=sometimes-nullable.astub` to unsoundly permit passing null to calls if null is sometimes but not always permitted.
**Closed issues:**
#5412, #5431, #5435, #5438, #5447, #5450, #5453, #5471, #5472, #5487.
Dropped support for `-ApermitUnsupportedJdkVersion` command-line argument. You can now run the Checker Framework under any JDK version, without a warning.
Pass `-Astubs=permit-nullness-assertion-exception.astub` to not be warned about null pointer exceptions within nullness assertion methods like `Objects.requireNonNull`.
Pass `-Astubs=sometimes-nullable.astub` to unsoundly permit passing null to calls if null is sometimes but not always permitted.
**Closed issues:**
#5412, #5431, #5435, #5438, #5447, #5450, #5453, #5471, #5472, #5487.
Reply all
Reply to author
Forward
0 new messages