ESC/Java2 2.0 Beta 5

ESC/Java2 is an Extended Static Checker for Java. It automatically, statically, and modularly detects common programming errors. ESC/Java2 reasons about Java programs that have (optional) annotations written in JML.What is new in this release:There are no...