Release 3.22.2 of the Checker Framework
3 views
Skip to first unread message
Michael Ernst
Jun 14, 2022, 5:07:59 PM6/14/22
to Checker Framework Discussions
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.22.2:
Implementation details:
Expose CFG APIs to allow inserting jumps and throws
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.22.2:
Implementation details:
Expose CFG APIs to allow inserting jumps and throws
-Mike
Reply all
Reply to author
Forward
0 new messages