ESC/Java, the Compaq Extended Static Checker for Java, is a programming tool that attempts to find common run-time errors in Java programming language 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 pragmas .

ESC/Java was developed at the DEC 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 s Security of Systems group has released [http://secure.ucd.ie/products/opensource/ESCJava2/ ESC/Java2], an extended version of ESC/Java.

= External Links =