triton dependency

https://github.com/JonathanSalwan/Triton

설치해야할 library는 다음과 같다. 

z3: https://github.com/Z3Prover/z3.git

boost: https://sourceforge.net/projects/boost/files/boost/1.63.0/

capstone: http://www.capstone-engine.org/download.html

python: https://www.python.org/

boost

$sudo apt-get install libboost-all-dev

libz3 

https://github.com/Z3Prover/z3 에 linux, windows에서 compile하는 방법 잘 설명되어 있다. 

libcapston

$sudo apt-get install libcapstone3

$sudo apt-get install libcapstone-dev

https://github.com/aquynh/capstone/blob/master/COMPILE.TXT  에 linux에서 compile하는 방법 잘 설명되어 있다. 

혹은  http://www.capstone-engine.org/download.html 에서 이미 compile되어 있는걸 받아도 된다. 

cmake

linux의 경우에는 path가 자동으로 지정되어서 cmake만 입력하면 된다. 

windows의 경우, dependency별로 path를 다 정해주어야 한다. 

$cmake -G "Visual Studio 14 2015 Win64" -DBOOST_ROOT="C:/Users/hong/Downloads/boost_1_63_0/boost_1_63_0" -DPYTHON_INCLUDE_DIRS="C:/Python27/include" -DPYTHON_LIBRARIES="C:/Python27/libs/python27.lib" -DZ3_INCLUDE_DIRS="C:/Users/hong/z3/src" -DZ3_LIBRARIES="C:/Users/hong/z3/build/libz3.lib" -DCAPSTONE_INCLUDE_DIRS="C:/Users/hong/capstone-3.0.4-win64/capstone-3.0.4-win64/include" -DCAPSTONE_LIBRARIES="C:/Users/hong/capstone-3.0.4-win64/capstone-3.0.4-win64capstone.lib"

trouble shooting in windows

https://github.com/JonathanSalwan/Triton/issues/269

https://github.com/JonathanSalwan/Triton/issues/363

author도 딱히 windows에는 설명을 안해준다. ㅠㅠ