Software Details:
Version: 2.0.5
Upload Date: 3 Jun 15
Distribution Type: Freeware
Downloads: 22
ESC/Java2 Frontend project parses Java 1.4 source code and Java 1.5 bytecode into an Abstract Syntax Tree that can be used for Extended Static Checking.
The Extended Static Checker for Java version 2 (ESC/Java2) is a programming tool that attempts to find common run-time errors in JML-annotated Java programs by static analysis of the program code and its formal annotations. Users can control the amount and kinds of checking that ESC/Java2 performs by annotating their programs with specially formatted comments called pragmas.
ESC/Java2 is available in two forms:
Comments not found