WET Home

Installing WET

Installing Diablo (optional step)

This optional component of WET is required only if control dependence information is desired in the collected tracing information. The appropriate version of Diablo is available on the releases page.

Unpack the "diablo.tar.gz file". This will reveal a directory named "diablo-0.3". Enter the "diablo-0.3" directory and, if necessary, edit the Makefile to set the "ARCH" variable to "i386". By default, Diablo will be installed into the current directory as the executable "diablo". If a different install location is desired, edit the Makefile and set the variable "INSTALL_DIR" to be the directory to which Diablo should be installed. Then, execute the following command.

make

If there are any compilation errors, try setting the variables "COMPILER=gcc32" and "LINKER=gcc32" in the Makefile.

To run Diablo on a target executable to compute static control dependence information, the target executable must first be compiled statically using a patched gcc tool chain. To obtain the patched gcc tool chain, download it from here (note that this is a fairly large download: 139 MB compressed, 500 MB uncompressed). Unpack the file "toolchain-i386-glibc.tar.bz2". This will reveal a directory named "toolchain-i386-glibc". The command to run the patched gcc tool chain will then be located in the directory "toolchain-i386-glibc/bin/gcc".

Diablo should now be successfully installed.


Installing Valgrind (required step)

Valgrind is a required component of WET. WET requires a modified version of Valgrind 2.2.0 that is available on the releases page.

Unpack the "valgrind.tar.gz" file. This will reveal a directory named "valgrind-2.2.0". To install Valgrind, enter the directory "valgrind-2.2.0" and run the configure script as follows (assume "/home/valgrind-2.2.0/installed" is the absolute path of the directory into which you want Valgrind to be installed):

./configure --prefix=/home/valgrind-2.2.0/installed

Next, edit the file "valgrind-2.2.0/lackey/Makefile_orig.txt" so that the "BASE_DIR" variable is set to the absolute path of the "valgrind-2.2.0" directory.

Now enter the "valgrind-2.2.0" directory once again and execute the following command to install Valgrind (if the script asks you to overwrite any files, enter "y" for "yes"):

source build.sh

Valgrind should now be successfully installed.