|
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]
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]
Dependencies:
[change]
No dependencies filed
|
|
» Rating:
8.47/10.00
(Rank N/A)
» Vitality: 0.01% (Rank 4140)
» Popularity: 0.47% (Rank 12145)

(click to enlarge graphs)
Record hits: 5,502
URL hits: 1,516
Subscribers: 11
|
|