Exercises with JML and ESC/Java2

ESC/Java2 is available on the central UNIX machines (e.g. solost) and on the Windows PCs in the terminal rooms.

central UNIX machines
ESC/Java2 is installed in /vol/practica/softwaresecurity. To run the tool on some file A.java, give the command
/vol/practica/softwaresecurity/ESCJava/escjava2 A.java
Windows PCs in terminal rooms
ESC/Java2 is installed in T:\softwaresecurity. To run the tool on some file A.java, open a command window by selecting
Start -> Programs -> Accessories -> Command Prompt
then go to the directory where A.java is (using cd) and type in the command
T:\softwaresecurity\ESC\escj.bat A.java