Version: 2.0.6 Support Eclipse Version: 3.3 License: Free for non-commercial use Development Status: Beta Company: EU Mobius IST15905
Home Page
Plugin Support
Discussion Forum
Update Site URL: http://kind.ucd.ie/products/opensource/ESCJava2/escjava-eclipse/updates/
The Extended Static Checker for Java version 2 (ESC/Java2) is a programming tool that attempts to find common run-time errors in JML-annotated Java programs by static analysis of the program code and its formal annotations. Users can control the amount and kinds of checking that ESC/Java2 performs by annotating their programs with specially formatted comments called pragmas. Added on: 30-Jan-2008 | Updated: 30-Jan-2008
