Software Details:
Version: 2.0 Beta 5
Upload Date: 3 Jun 15
Distribution Type: Freeware
Downloads: 23
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 major functional changes, but some bugfixes and cleanup of existing features.
- This is intended to be the final release and the first stable release.
Comments not found