[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