Triton/Pin 解决Crackme

https://software.intel.com/en-us/articles/pin-a-dynamic-binary-instrumentation-tool

z3求解器 https://github.com/Z3Prover/z3
Triton 动态二进制分析框架 https://triton.quarkslab.com/

安装 Triton

 apt-get update && apt-get dist-upgrade -y && \
    apt-get install -y git cmake build-essential clang ca-certificates curl \
    unzip libboost-dev python-dev python-pip && apt-get clean

# get and install the latest z3 relesae
    curl -o z3.tgz -L  https://github.com/Z3Prover/z3/archive/z3-4.5.0.tar.gz && \
    tar zxf z3.tgz && cd z3-z3-4.5.0 && \
    CC=clang CXX=clang++ python scripts/mk_make.py && cd build && make \
    && make install && cd /tmp && rm -rf /tmp/z3-z3-4.5.0

# Install capstone

    curl -o cap.tgz -L https://github.com/aquynh/capstone/archive/3.0.4.tar.gz && \
    tar xvf cap.tgz && cd capstone-3.0.4/ && ./make.sh install && cd /tmp && \
    rm -rf /tmp/capstone-3.0.4

# Install pintool
cd /opt && curl -o pin.tgz -L http://software.intel.com/sites/landingpage/pintool/downloads/pin-2.14-71313-gcc.4.4.7-linux.tar.gz && tar zxf pin.tgz

# now install Triton

cd /opt/pin-2.14-71313-gcc.4.4.7-linux/source/tools/ && \
   curl -o master.zip -L https://github.com/JonathanSalwan/Triton/archive/master.zip && unzip master.zip && cd Triton-master/ && mkdir build && cd build && \
   cmake -G "Unix Makefiles" -DPINTOOL=on -DKERNEL4=on .. && make install && cd ..