-- Notes for the multipass prototype -- The prototype has been compiled with Java 1.4, thus you should have JRE 1.4 or greater installed on your system to run the compiled class files. It has been tested in the Windows environment. The analysis for uninitialized object and subroutines is not fully implemented. The prototype has been developed starting from the BCEL/JustIce package (http://bcel.sourceforge.net).