Triton & panda

https://github.com/JonathanSalwan/Triton

Triton's dependencies:

• Pin 2.14-71313
• Z3 4.3.1
• Python 2.7
• libboost

Triton is straightforward to install, download the Pin framework, go to the pintool directory,git clone the Triton project and execute make.

$ cd pin-2.14-71313-gcc.4.4.7-linux/source/tools/
$ git clone git@github.com:JonathanSalwan/Triton.git
$ cd Triton
$ make
$ ../../../pin -t ./triton.so -script ./examples/start_DSE_from_symbol.py -- ./samples/crackmes/crackme_xor elite

To use Triton over a shortcut, you must execute sudo make install, then, a shell script will be generated at /usr/bin/triton.

$ sudo make install 

$ triton <your_triton_script.py> <target binary> [target binary args]

pin 은 intel 로부터 tar.gz 를 받아서.

z3는 https://github.com/z3prover/z3 클론 - ./configure;make

triton 은 make 내의 PIN_ROOT path 지정해 주어야 하고