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

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.


by Joseph R. Kiniry <joseph.kiniry@ucd.ie>
Last modified: Wed Mar 30 00:38:49 IST 2005


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

The ESC/Java2 Project Homepage