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

Matt Papi mpapi at csail.mit.edu
Mon Feb 25 11:46:47 EST 2008


We have released new versions of the JSR 308 prototype implementation, 
three type checkers for finding and preventing errors, and a framework 
for writing your own checkers.


The JSR 308 prototype implementation is available at:
   http://groups.csail.mit.edu/pag/jsr308/releases/jsr308-langtools.zip


The type checkers we have built and the framework for writing your own 
checkers are available at:
   http://groups.csail.mit.edu/pag/jsr308/releases/jsr308-checkers.zip

The checkers distribution contains 3 type checkers:
  * for null pointer errors
  * for equality testing (interning) errors
  * for mutability errors (incorrect side effects), based on IGJ


Installation instructions, changelogs, and documentation for both of the 
above distributions are included in the zip files themselves and are 
also available on the web at:
   http://groups.csail.mit.edu/pag/jsr308/


- Matt



More information about the JSR308 mailing list