ESC/Java2ESC/Java2 is an Extended Static Checker for Java. | |
Download |
ESC/Java2 Ranking & Summary
Advertisement
- License:
- Other/Proprietary Li...
- Price:
- FREE
- Publisher Name:
- KindSoftware
- Publisher web site:
- http://kind.ucd.ie/products/opensource/JavaFE/
ESC/Java2 Tags
ESC/Java2 Description
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. 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.
ESC/Java2 Related Software