ESC/Java2 2.0 Beta 5
ESC/Java2 is an Extended Static Checker for Java.
Add it to your Download Basket!
Add it to your Watch List!
What's new in ESC/Java2 2.0 Beta 5:
- 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.
- LICENSE TYPE:
- Other/Proprietary License with Source
- USER RATING:
- DEVELOPED BY:
- ROOT \ Programming \ Quality Assurance and Testing
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