[JSR308] New releases of the JSR 308 implementation and checkers

Matt Papi mpapi at csail.mit.edu
Sat Mar 22 13:05:59 EDT 2008

We have released version 0.5.1 of:
 * the JSR 308 prototype implementation
 * type checkers for finding and preventing errors, and a framework for 
writing your own checkers

For downloads and documentation, visit: 
For more details, read on.

* Both distributions now include pre-compiled binaries, so it's even 
easier to get started with the tools. Installation instructions are 
available at: http://groups.csail.mit.edu/pag/jsr308/

* The JSR 308 prototype implementation is available at:

This release primarily fixes bugs in the JSR 308 implementation.

* The type checkers and framework are available at:

This release includes enhancements and bug fixes in the checkers and 
framework, and the distribution now includes five checkers:
  * for null pointer errors
  * for equality testing (interning) errors
  * for mutability errors (incorrect side effects), based on IGJ
  * for mutability errors, based on Javari
  * for any type system with no special semantics, checking annotations 
specified by the user on the command-line

As always, your comments and feedback are appreciated.

- Matt

More information about the JSR308 mailing list