[JSR308] New releases of the JSR 308 implementation and checkers
mpapi at csail.mit.edu
Sat Apr 12 16:28:20 EDT 2008
We have released version 0.6 of the JSR 308 prototype implementation,
five type checkers for finding and preventing errors, and a framework
for writing your own checkers.
The JSR 308 prototype implementation is available at:
This release primarily fixes bugs in the JSR 308 Java compiler.
The type checkers we have built and the framework for writing your own
checkers are available at:
The checkers distribution contains five type 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
This release includes enhancements and bug fixes in the framework and checkers.
Installation instructions, changelogs, and documentation are included
in the distributions and are also available on the web at:
More information about the JSR308