[JSR308] Release 0.9.8 of javac, Checker Framework, and checkers

Mahmood Ali mahmood at MIT.EDU
Fri Aug 21 17:14:30 EDT 2009


We have released version 0.9.8 of the JSR 308 specification and
implementation and of the Checker Framework.  You can always review
the latest version of the specification at: http://groups.csail.mit.edu/pag/jsr308/specification/java-annotation-design.html
; and download the latest version of these tools at:http://groups.csail.mit.edu/pag/jsr308/
.

The JSR 308 implementation is a backward-compatible extension to
javac. The Checker Framework makes it easy to write a tool that finds
or prevents errors; the tool is expressed as a type-checker for a
pluggable type system.  The Checker Framework distribution includes
sample checkers.

This release includes many checker framework improvements: a new  
tainting checker, better nullness checking capabilities, and numerous  
bug fixes.

The changlogs of the implementations appear below.

   - Mahmood

---- Changelog for Checker Framework ----
Version 0.9.8, 21 Aug 2009

Functionality
   Added a Tainting Checker
   Added support for conditional nonnull checking
   Added optional check for redundant nullness tests
   Updated stub parser to latest libraries

Bug fixes
   Fixed a bug related to int[] treated as Object when passed to  
vararg T...
   Fixed a crash related to intersection types
   Fixed a bug related to -AskipClasses not being honored
   Fixed a bug related to flow

Manual
   Added new sections
     8 Tainting Checker
     3.2.3 Conditional nullness

---- Changelog for JSR 308 implementation ----

No changes




More information about the JSR308 mailing list