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.

last updated on:
November 6th, 2008, 6:41 GMT
price:
FREE!
developed by:
KindSoftware
homepage:
secure.ucd.ie
license type:
Other/Proprietary License with Source
category:
ROOT \ Programming \ Quality Assurance and Testing

FREE!

In a hurry? Add it to your Download Basket!

user rating 16

3.3/5
 

0/5

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.
read full changelog

Add your review!

SUBMIT