binsec

vm/docker/Makefile

@@ -36,3 +36,6 @@ build-klee-taint:
 build-klee-taint-ct:
 	git clone https://github.com/hpacheco/klee-taint-ct
 	cd klee-taint-ct && sudo docker build -f Dockerfile . -t hugopacheco/klee-taint-ct
+
+build-symsan:
+	sudo docker build -f symsan.dockerfile . -t hugopacheco/symsan

vm/docker/symsan.dockerfile

@@ -0,0 +1,27 @@
+FROM ubuntu:jammy
+
+ENV DEBIAN_FRONTEND=noninteractive
+ENV TZ=Etc/UTC
+
+ENV DEBIAN_FRONTEND=noninteractive
+ENV TZ=Etc/UTC
+
+WORKDIR /workdir
+RUN apt update && apt install -yq git
+RUN git clone https://github.com/R-Fuzz/symsan
+
+RUN apt-get install -y cmake llvm-12 clang-12 libc++-12-dev libc++abi-12-dev python3-minimal python-is-python3 zlib1g-dev git joe libprotobuf-dev
+RUN git clone --depth=1 https://github.com/AFLplusplus/AFLplusplus /workdir/aflpp
+ENV LLVM_CONFIG=llvm-config-12
+RUN cd /workdir/aflpp && CC=clang-12 CXX=clang++-12 make install
+
+RUN apt-get install -y libboost-all-dev libz3-dev libgoogle-perftools-dev libntirpc-dev
+RUN apt clean
+
+RUN cd symsan/ && mkdir -p build && \
+    cd build && CC=clang-12 CXX=clang++-12 cmake -DCMAKE_INSTALL_PREFIX=. -DAFLPP_PATH=/workdir/aflpp ../  && \
+    make -j4 && make install
+
+ENV KO_CC=clang-12
+ENV KO_CXX=clang++-12
+ENV KO_USE_FASTGEN=1