ESC/Java: Difference between revisions

Revision as of 19:12, 23 May 2005

Revision as of 00:40, 9 June 2005

Line 1:

'''ESC/Java''', the "Compaq 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 analysis]] of the program text. Users can control the amount and kinds of checking by annotating their programs with specially formatted comments or ''[[pragma]]s''.

ESC/Java was 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 [http://secure.ucd.ie/products/opensource/ESCJava2/ ESC/Java2], an extended version of ESC/Java.

== External Links ==

[http://research.compaq.com/SRC/esc/ Official ESC/Java website]

{{comp-stub}}