ESC/Java2 2.0 Beta 5
ESC/Java2 is an Extended Static Checker for Java.
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.
In a hurry? Add it to your Download Basket!
What's New in This Release:
- There are no major functional changes, but some bugfixes and cleanup of existing features.
- This is intended to be the final release and the first stable release.