$ sudo apt-get update
$ sudo apt-get install -y libc6 libstdc++6 linux-libc-dev gcc-multilib llvm-dev llvm-5.0 g++ g++-multilib

$ git submodule init
$ git submodule update

$ cd third_party/z3
$ rm -rf build
$ python scripts/mk_make.py
$ cd build
$ make -j$(nproc)
$ sudo make install

$ export PIN_ROOT=/path-to-intriguer/third_party/pin-3.7-97619-0d0c92f4f/

$ cd pintool
$ make -j$(nproc)
$ TARGET=ia32 make -j$(nproc)

$ cd traceAnalyzer
$ make -j$(nproc)

$ cd intriguer_afl
$ make -j$(nproc)

$ export INTRIGUER_ROOT="Intriguer directory"
$ export INTRIGUER_CMD="command line for Intriguer (Non-instrumented)"
$ export AFL_CMD="command line for AFL (Instrumented)"
$ export INPUT="input directory"
$ export OUTPUT="output directory"

$ $INTRIGUER_ROOT/intriguer_afl/afl-fuzz -i $INPUT -o $OUTPUT -- $AFL_CMD

$ export INTRIGUER_ROOT="Intriguer directory"
$ export INTRIGUER_CMD="command line for Intriguer (Non-instrumented)"
$ export INTRIGUER_MULTICORE=1
$ export AFL_DIR="AFL directory (Vanilla)"
$ export AFL_CMD="command line for AFL (Instrumented)"
$ export INPUT="input directory"
$ export OUTPUT="output directory"

$ $AFL_DIR/afl-fuzz -M afl-master -i $INPUT -o $OUTPUT -- $AFL_CMD
$ $AFL_DIR/afl-fuzz -S afl-slave -i $INPUT -o $OUTPUT -- $AFL_CMD
$ $INTRIGUER_ROOT/intriguer_afl/afl-fuzz -S intriguer -i $INPUT -o $OUTPUT -- $AFL_CMD