So I decided to look at Triton.
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
- libcapstone >= 3.0
- Pin (optional) 71313
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
sudo apt-get install cmake.