|
Computer Science Department University of California, San Diego |
| [ Home ] [ Download ] [ Research ] [ Papers ] [ Personnel ] [ FAQ ] |
ElberethElbereth is a Java-based version of StarTool for analyzing Java programs. To run Elbereth you require JDK 1.1 or higher installed on your system.InstallationThe original homepage for this project is located here. Note, however, that the downloadable version on the original homepage is NOT compatible with JDK 1.3. Please download the version on this webpage instead. |
|
Copyright 2000 UCSD Computer Science Department
wgg@cs.ucsd.edu Last Modified: 8/21/00 |