ESC/Java2
ESC/Java2 is an Extended Static Checker for Java. It automatically, statically, and modularly detects common programming errors. It reasons about Java programs that have (optional) annotations written in JML.
| Tags | Software Development Quality Assurance Testing Documentation Compilers Security Scientific/Engineering |
|---|---|
| Implementation | Unix Shell Modula Java |
Recent releases
- 05 Nov 2008 18:14
Changes: There are no major functional changes, but some bugfixes and cleanup of existing features. This is intended to be the final release and the first stable release.
- 16 Jan 2008 10:17
Changes: Simplify has moved into its own project, Javafe has moved into its own project. ESC/Java2 now builds against an external Javafe library. Pre-built binaries have been added for the ASTGEN and ASTFILELIST tools, which are now part of Javafe.
- 07 Nov 2007 10:19
Changes: This release has moved from a CVS/GForge repository to a Subversion/Trac repository, and the makefiles and shell scripts have been updated to reflect this. Java 1.5 bytecode parsing for inner class files has been improved.
- 09 Oct 2007 03:38
Changes: The command line .bat file for Windows has been updated to fix an issue with Java 1.5. The default parameters for Simplify have been modified to prevent a 'wrong output' error.
- 11 Oct 2006 06:00
Changes: New features include a new multiple prover, multiple logic, a plug-in based backend that partially supports CVC3, Coq, and PVS, more documentation on the various subsystems of ESC/Java2, the specification soundness checker, and a soundness and completeness warning system. Compilation and testing with jmlc is working well. Numerous bugs have been identified, fixed, and added.
