So I decided to look at Triton.

Installation

I am going to talk about installation on my Debian VM.

According to documentation, in order to compile Triton we have to install the following libraries:

• libboost >= 1.58
• libpython 2.7.x
• libz3
• libcapstone >= 3.0
• Pin (optional) 71313

libboost and libpython can be install with:

sudo apt-get install libboost-all-dev

libz3 can be downloaded from Github and then built:

python scripts/mk_make.py
cd build
make
sudo make install

The build process will take sometime but the compiled binaries can be downloaded from the release page.

deb installers for libcapstone can be downloaded from here: https://www.capstone-engine.org/download/3.0.4/ubuntu-14.04/.

wget http://www.capstone-engine.org/download/3.0.4/ubuntu-14.04/libcapstone3_3.0.4-0.1ubuntu1_amd64.deb
wget http://www.capstone-engine.org/download/3.0.4/ubuntu-14.04/libcapstone-dev_3.0.4-0.1ubuntu1_amd64.deb

Pin can be downloaded from here: https://software.intel.com/en-us/articles/pintool-downloads

wget http://software.intel.com/sites/landingpage/pintool/downloads/pin-2.14-71313-gcc.4.4.7-linux.tar.gz
tar zxf pin-2.14-71313-gcc.4.4.7-linux.tar.gz

Need cmake so sudo apt-get install cmake.