ESC/Java2 is an Extended Static Checker for Java. It automatically, statically, and modularly detects common programming errors. It reasons about Java programs that have (optional) annotations written in JML.
This release has moved from a CVS/GForge repository to a Subversion/Trac repository, and the makefiles and shell scripts have been updated to reflect this. Java 1.5 bytecode parsing for inner class files has been improved.
URL: KindSoftware: ESC/Java2