Subject: ESC/Java is available (fwd)
From: Todd D Millstein (todd@cs.washington.edu)
Date: Wed Oct 25 2000 - 10:42:29 PDT
ESC/Java is a really nice tool that helps you reason about Java programs
by adding pre/postconditions to methods, invariants to classes, etc.
Although it's based on program verification ideas, it's very lightweight.
After several years of development, they've finally released it for
general use. Try it out and see what you think!
Todd
---------- Forwarded message ----------
Date: Wed, 25 Oct 2000 10:35:39 -0700
From: K. Rustan M. Leino <rustan.leino@compaq.com>
Reply-To: escjava@research.compaq.com
To: todd@cs.washington.edu
Subject: ESC/Java is available
Dear colleagues and ESC/Java enthusiasts,
It's my great pleasure to announce the public (non-commercial, binary)
release of the Compaq Extended Static Checker for Java (ESC/Java)
developed at the Compaq Systems Research Center (Compaq SRC).
ESC/Java is a programming tool that attempts to find common run-time
errors in Java programs by static analysis of the program text.
Users can control the amount and kinds of checking that ESC/Java
performs by annotating their programs with specially formatted Java
comments. The errors detected by ESC/Java include null dereferences,
array index bounds errors, type cast errors, race conditions, deadlocks,
and violations of user-supplied annotations.
ESC/Java has been used internally at Compaq SRC since early 1999
and has been used to check, and find errors in, many thousands of lines
of code (including the ESC/Java front end).
The public release encourages research use of ESC/Java. I am
particularly excited about the prospect of educational use of ESC/Java.
Students using ESC/Java as part of programming classes may develop
a better practical understanding of important programming concepts
such as invariants and preconditions, because ESC/Java provides instant
feedback just like type-checkers and parsers do. We hope to help
instructors use ESC/Java in teaching by allowing them to share their
experiences and programming assignments with other instructors.
Ask us for tips on possible uses of ESC/Java in education.
For ESC/Java documentation and download instructions, please see the
ESC/Java home page:
http://research.compaq.com/SRC/esc/
Please email questions, comments, success stories, and bug reports
to <escjava@research.compaq.com>.
Excitedly,
Rustan Leino and the ESC/Java project team
This archive was generated by hypermail 2b25 : Wed Oct 25 2000 - 10:42:34 PDT