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

Author:
Joseph Kiniry [contact developer]

Rating:	reset 1 2 3 4 5 6 7 8 9 10
8.47/10.00 (1 vote)

Homepage:
http://kind.ucd.ie/products/opensource/ESCJava2/
Tar/GZ:
http://kind.ucd.ie/[..]chives/ESCJava-2.0b4-17-01-08-binary.tgz
Tar/BZ2:
http://kind.ucd.ie/[..]chives/ESCJava-2.0b4-17-01-08-binary.tbz
Zip:
http://kind.ucd.ie/[..]chives/ESCJava-2.0b4-17-01-08-binary.zip
Changelog:
http://kind.ucd.ie/[..]s/opensource/ESCJava2/release_notes.html
Bug tracker:
https://mobius.ucd.ie/

Trove categories: [change]

[Development Status]		4 - Beta
[Environment]		Console (Text Based), MacOS X
[Intended Audience]		Developers
[License]		Other/Proprietary License with Source
[Programming Language]		Java, Modula, Unix Shell
[Topic]		Scientific/Engineering, Security, Software Development, Software Development :: Compilers, Software Development :: Documentation, Software Development :: Quality Assurance, Software Development :: Testing

Dependencies: [change]
No dependencies filed

 Branches

Branch	Version	Last release	License	URLs
Default	2.0b4	16-Jan-2008	Other/Proprietary License with Source

 Releases

Version	Focus	Date
2.0b4	Minor feature enhancements	16-Jan-2008 18:17
2.0b3	Code cleanup	07-Nov-2007 18:19
2.0b2	Minor bugfixes	09-Oct-2007 10:38
2.0b0	Major feature enhancements	11-Oct-2006 13:00
2.0a9	Major feature enhancements	01-Oct-2005 21:48
2.0a8	Initial freshmeat announcement	01-Apr-2005 15:40