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