RUNNING JOOS 1, Download the A+ binary of your choice from either the webpage for the course or from /home/user/hendren/JOOS1.1/Bin 2, Download the Extern library from the course webpage or from /home/user/hendren/JOOS1.1 3, Write a Joos Program or download a sample from the web 4, type in the command: joos Extern/*.joos .joos 5, This creates a jasmin file named: .j RUNNING JASMIN 1, Download jasmin1.06.tar from the web or from /home/user/hendren/JOOS1.1/Jasmin 2. untar : tar -xvf jasmin1.06.tar. This creates a folder with the names jasmin 3. from outside the folder execute the comman: java jasmin.Main .j 4, The result is an executable .class RUNNING Your JOOS CLASS FILE 1, Although the class file will be executed by a java virtual machine you might need to have the joos libraries in your classpath. 2, Download the jooslib.jar file from the web or convert jooslib.tar available from /home/user/hendren/JOOS1.1/Lib to a jooslib.jar file 3, add the location of the joos library to your CLASSPATH 4, Execute using the command: java USING D-JAVA 1, obtain the executable D-Java from the web or from /home/user/hendren/JOOS1.1/Bin (there are precompiled versions for different platforms available). Alternatly you can downlad the D-Java source and compile it yourself 2, run the command D-Java -h This lists all features available with D-Java 3, Some features are -a display class and method names only -f list fields only -o jasmin to get jasmin output Sample run: D-Java-i386-linux -o jasmin > Hello10.j VERIFYING JAVA BYTECODE 1, java -verify HOW TO SOOT 1, Download the soot installation files from www.sable.mcgill.ca/soot 2, follow the instructions from the webpage 3, execute java soot.Main --help for detailed help JIMPLE java soot.Main -f jimple GRIMP java soot.Main -f grimp DAVA java soot.Main -f dava