Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved
PREV NEXT | FRAMES NO FRAMES

# ESCTools API

ESC/Java2: the Extended Static Checker for Java, version 2 automatically statically detects common programming errors.

See:
Description

EscJava
escjava.ant |
escjava.ast |
escjava.backpred |
escjava.gui |
escjava.pa |
escjava.pa.generic |
escjava.parser |
escjava.prover |
escjava.reader |
escjava.sp |
escjava.tc |
escjava.translate |

Javafe
javafe.ast |
javafe.filespace |
javafe.genericfile |
javafe.parser |
javafe.reader |
javafe.tc |
javafe.util |

Other Packages
escjava |
javafe |
junitutils |

ESC/Java2: the Extended Static Checker for Java, version 2 automatically statically detects common programming errors. The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML). The ESC/Java2 project, whose API is documented in this site, builds on the final release of ESC/Java from DEC/SRC in several ways. It parses all of JML, thus can be used with the growing body of JML-annotated Java code; it has additional static checking capabilities; and it has been designed, constructed, and documented in such a way as to improve the tool's usability to both users and researchers. It is intended that ESC/Java2 be used for further research in, and larger-scale case studies of, annotation and verification, and for studies in programmer productivity that may result from its integration with other tools that work with JML and Java.

Last modified: Wed Mar 30 00:38:49 IST 2005

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved
PREV NEXT | FRAMES NO FRAMES

The ESC/Java2 Project Homepage