ESC/Java2 Frontend 2.0.5

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...