ESC/Java: Difference between revisions

Revision as of 20:57, 29 September 2007

Revision as of 00:25, 14 November 2007

Line 1:

'''ESC/Java''' (and more recently '''ESC/Java2'''), the "Extended Static Checker for Java," is a [[programming tool]] that attempts to find common [[run-time error]]s in [[Java (programming language)|Java]] programs by [[Static code analysis|static analysis]] of the program text. ItRecent isversions of ESC/Java are based around the [[Java Modeling Language]] (JML). Users can control the amount and kinds of checking by annotating their programs with specially formatted comments or ''[[pragma]]s''.

ESC/Java was originally developed at the [[DEC Systems Research Center|Compaq Systems Research Center]] (SRC). SRC launched the project in 1997, after work on their original extended static checker, ESC/Modula-3, ended in 1996. In 2002, SRC released the [[source code]] for ESC/Java and related tools.

The [[Radboud University Nijmegen|University of Nijmegen]]'s ''Security of Systems'' group has released alpha versions of ESC/Java2, an extended version of ESC/Java that processes the [[JML]] specification language through 2004. Since 2004, ESC/Java2 development has been managed by the KindSoftware Research Group at [[University College Dublin]]. Over the years, ESC/Java2 has gained many new features including the ability to reason with multiple [[theorem prover]]s and integration with [[Eclipse (software)|Eclipse]].

== External links ==

* [http://web.archive.org/web/20051208055447/http://research.compaq.com/SRC/esc/ Extended Static Checking for Java] from the [[Internet Archive]]

* [http://securekind.ucd.ie/products/opensource/ESCJava2/ ESC/Java2]