mirror of
https://github.com/JonathanSalwan/Triton
synced 2026-08-17 10:23:04 -04:00
45 lines
2.2 KiB
Docker
45 lines
2.2 KiB
Docker
FROM --platform=linux/amd64 ubuntu:20.04
|
|
ARG DEBIAN_FRONTEND=noninteractive
|
|
|
|
# libboost >= 1.68
|
|
# libpython >= 3.6
|
|
# llvm >= 12
|
|
# cmake >= 3.20
|
|
RUN apt update && apt upgrade -y && apt install -y build-essential clang curl git libboost-all-dev libgmp-dev libpython3-dev libpython3-stdlib llvm-12 llvm-12-dev python3-pip tar && apt-get clean && pip install --upgrade pip && pip3 install Cython lief cmake
|
|
|
|
# libcapstone >= 4.0.x
|
|
RUN cd /tmp && \
|
|
curl -o cap.tgz -L https://github.com/aquynh/capstone/archive/4.0.2.tar.gz && \
|
|
tar xvf cap.tgz && cd capstone-4.0.2/ && ./make.sh && make install && rm -rf /tmp/cap* \
|
|
&& ln -s /usr/lib/libcapstone.so.4 /usr/lib/x86_64-linux-gnu/libcapstone.so
|
|
|
|
# libbitwuzla
|
|
RUN cd /tmp && \
|
|
git clone https://github.com/bitwuzla/bitwuzla && \
|
|
cd bitwuzla && \
|
|
git checkout -b 19dd987a6e246990619751cca07996fac505fd0b 19dd987a6e246990619751cca07996fac505fd0b && \
|
|
./contrib/setup-cadical.sh && \
|
|
./contrib/setup-btor2tools.sh && \
|
|
./contrib/setup-symfpu.sh && \
|
|
./configure.sh --shared && \
|
|
make -C build install && \
|
|
rm -rf /tmp/bitwuzla
|
|
|
|
# libz3 >= 4.6.0
|
|
RUN cd /tmp && \
|
|
curl -o z3.tgz -L https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.8.14.tar.gz && \
|
|
tar zxf z3.tgz && cd z3-z3-4.8.14 && mkdir build && cd build && \
|
|
CC=clang CXX=clang++ cmake -DCMAKE_BUILD_TYPE=Release .. && make -j4 && make install && \
|
|
pip3 install z3-solver && rm -rf /tmp/z3*
|
|
|
|
# Triton (LLVM for lifting; z3 or bitwuzla as SMT solver)
|
|
RUN git clone https://github.com/JonathanSalwan/Triton && cd Triton && mkdir build && cd build && cmake -DLLVM_INTERFACE=ON -DCMAKE_PREFIX_PATH=$(/usr/lib/llvm-12/bin/llvm-config --prefix) -DZ3_INTERFACE=ON -DBITWUZLA_INTERFACE=ON .. && make -j4 && make install
|
|
|
|
RUN PYV=`python3 -c "import platform;print(platform.python_version()[:3])"` && \
|
|
PYP="/usr/lib/python$PYV/site-packages" && \
|
|
echo export PYTHONPATH="$PYP:\$PYTHONPATH" >> /etc/bash.bashrc && \
|
|
python3 -c "import z3; print('Z3 version:', z3.get_version_string())" && \
|
|
# Next command fails if Triton has no z3 or bitwuzla support
|
|
PYTHONPATH="$PYP" python3 -c "from triton import *; ctx=TritonContext(ARCH.X86_64); ctx.setSolver(SOLVER.Z3); ctx.setSolver(SOLVER.BITWUZLA);"
|
|
|
|
ENTRYPOINT /bin/bash
|