init

Author: wcventure

.gitignore

@@ -1,52 +1,87 @@
-# Prerequisites
-*.d
-
-# Object files
 *.o
-*.ko
-*.obj
-*.elf
-
-# Linker output
-*.ilk
-*.map
-*.exp
-
-# Precompiled Headers
-*.gch
-*.pch
-
-# Libraries
-*.lib
-*.a
-*.la
-*.lo
-
-# Shared objects (inc. Windows DLLs)
-*.dll
-*.so
-*.so.*
-*.dylib
-
-# Executables
-*.exe
-*.out
-*.app
-*.i*86
-*.x86_64
-*.hex
-
-# Debug files
-*.dSYM/
-*.su
-*.idb
-*.pdb
-
-# Kernel Module Compile Results
-*.mod*
-*.cmd
-.tmp_versions/
-modules.order
-Module.symvers
-Mkfile.old
-dkms.conf
+clang+llvm/
+Code/*.DSYM
+.DS_Store
+*.DS_Store
+*.dSYM
+*.npy
+*.npz
+*.tar.gz
+*.tar.xz
+evaluation/FUZZ/*/
+tool/AFL-2.52b/build/
+tool/AFL-2.52b/afl-analyze
+tool/AFL-2.52b/afl-analyze.dSYM/
+tool/AFL-2.52b/afl-as
+tool/AFL-2.52b/afl-as.dSYM/
+tool/AFL-2.52b/afl-clang
+tool/AFL-2.52b/afl-clang++
+tool/AFL-2.52b/afl-fuzz
+tool/AFL-2.52b/afl-fuzz.dSYM/
+tool/AFL-2.52b/afl-g++
+tool/AFL-2.52b/afl-gcc
+tool/AFL-2.52b/afl-gcc.dSYM/
+tool/AFL-2.52b/afl-gotcpu
+tool/AFL-2.52b/afl-gotcpu.dSYM/
+tool/AFL-2.52b/afl-showmap
+tool/AFL-2.52b/afl-showmap.dSYM/
+tool/AFL-2.52b/afl-tmin
+tool/AFL-2.52b/afl-tmin.dSYM/
+tool/AFL-2.52b/as
+tool/AFL-2.52b/test-instr.dSYM/
+tool/AFL-2.52b/afl-analyze
+tool/AFL-2.52b/afl-clang-fast
+tool/AFL-2.52b/afl-clang-fast++
+tool/AFL-2.52b/afl-llvm-pass.so
+tool/AFL-2.52b/afl-llvm-rt-64.o
+tool/AFL-2.52b/afl-llvm-rt-32.o
+tool/AFL-2.52b/afl-llvm-rt.o
+tool/ConFuzzer/.DS_Store
+tool/ConFuzzer/llvm_mode/.DS_Store
+tool/ConFuzzer/llvm_mode/*.dSYM/
+tool/ConFuzzer/afl-analyze
+tool/ConFuzzer/afl-as
+tool/ConFuzzer/afl-clang
+tool/ConFuzzer/afl-clang++
+tool/ConFuzzer/afl-clang-fast
+tool/ConFuzzer/afl-clang-fast++
+tool/ConFuzzer/afl-fuzz
+tool/ConFuzzer/afl-g++
+tool/ConFuzzer/afl-gcc
+tool/ConFuzzer/afl-gotcpu
+tool/ConFuzzer/afl-llvm-pass.so
+tool/ConFuzzer/afl-llvm-rt-32.o
+tool/ConFuzzer/afl-llvm-rt-64.o
+tool/ConFuzzer/afl-llvm-rt.o
+tool/ConFuzzer/afl-showmap
+tool/ConFuzzer/afl-tmin
+tool/ConFuzzer/as
+tool/ConFuzzer/build/bin/
+tool/ConFuzzer/build/lib/
+tool/ConFuzzer/build/share/
+test/.DS_Store
+test/in/
+test/transfer/out_ConFuzzer*
+test/transfer/out_AFL*
+test/transfer/transfer.bc
+test/uaf/out_ConFuzzer*
+test/uaf/out_AFL*
+test/uaf/uaf.bc
+tool/ConFuzzer/afl-analyze.dSYM/
+tool/ConFuzzer/afl-as.dSYM/
+tool/ConFuzzer/afl-fuzz.dSYM/
+tool/ConFuzzer/afl-gcc.dSYM/
+tool/ConFuzzer/afl-gotcpu.dSYM/
+tool/ConFuzzer/afl-showmap.dSYM/
+tool/ConFuzzer/afl-tmin.dSYM/
+tool/ConFuzzer/test-instr.dSYM/
+tool/AFL-2.52b/afl-clang-fast.dSYM/
+tool/AFL-2.52b/afl-llvm-pass.so.dSYM/
+tool/AFL-2.52b/llvm_mode/test-instr.dSYM/
+tool/ConFuzzer/afl-clang-fast.dSYM/
+tool/ConFuzzer/afl-llvm-pass.so.dSYM/
+tool/DBDS/example.py
+evaluation/BUILD/*/SRC*
+evaluation/BUILD/*/*.tar.gz
+evaluation/BUILD/*.tar.gz
+*/log.txt

Dockerfile

@@ -0,0 +1,28 @@
+FROM ubuntu:18.04
+
+RUN cp /etc/apt/sources.list /etc/apt/sources.list.bak
+RUN sed -i s:/archive.ubuntu.com:/mirrors.tuna.tsinghua.edu.cn/ubuntu:g /etc/apt/sources.list
+RUN apt-get clean
+RUN apt-get update --fix-missing
+RUN apt-get install -y wget git build-essential apt-utils python3 python python-pip python3-pip tmux cmake libtool libtool-bin automake autoconf autotools-dev m4 autopoint libboost-dev help2man gnulib bison flex texinfo zlib1g-dev libexpat1-dev libfreetype6 libfreetype6-dev libbz2-dev liblzo2-dev libtinfo-dev libssl-dev pkg-config libswscale-dev libarchive-dev liblzma-dev liblz4-dev doxygen vim intltool gcc-multilib sudo --fix-missing
+
+RUN mkdir -p /workdir/ConFuzz
+
+WORKDIR /workdir/ConFuzz
+COPY . /workdir/ConFuzz
+
+ENV PATH "/workdir/ConFuzz/clang+llvm/bin:$PATH"
+ENV LD_LIBRARY_PATH "/workdir/ConFuzz/clang+llvm/lib:$LD_LIBRARY_PATH"
+ENV ROOT_DIR "/workdir/ConFuzz"
+
+RUN sudo pip install -e /workdir/ConFuzz/tool/wllvm/
+RUN sudo pip install numpy
+RUN sudo pip3 install numpy
+RUN sudo pip3 install sysv_ipc
+
+RUN cp -rf /usr/share/aclocal/* /usr/local/share/aclocal/
+
+RUN tool/install_llvm.sh
+RUN tool/install_Fuzzer.sh
+RUN tool/install_SVF.sh
+RUN tool/install_staticAnalysis.sh

ILL.md

@@ -0,0 +1,45 @@
+# INSTALL
+
+We provide here a snapshot of ConFuzz. For simplicity, we provide shell script for the whole installation.
+
+### Requirements
+
+- Operating System: Ubuntu 18.04 LTS (*This is very important, as our implementation requires higher kernel version*)
+- Run the following command to install required packages
+    ```sh
+    $ sudo apt-get install -y wget git build-essential python3 python python-pip python3-pip tmux cmake libtool libtool-bin automake autoconf autotools-dev m4 autopoint libboost-dev help2man gnulib bison flex texinfo zlib1g-dev libexpat1-dev libfreetype6 libfreetype6-dev libbz2-dev liblzo2-dev libtinfo-dev libssl-dev pkg-config libswscale-dev libarchive-dev liblzma-dev liblz4-dev doxygen vim intltool gcc-multilib sudo --fix-missing
+    $ pip install numpy && pip3 install numpy && pip3 install sysv_ipc
+    ```
+
+### Clone the Repository
+
+```sh
+$ git clone https://github.com/wcventure/ConcurrencyFuzzer.git ConFuzz --depth=1
+$ cd ConFuzz
+```
+
+### Build
+
+Run the following command to automatically configure the environment and install the tool.
+
+```sh
+# install LLVM and clang
+tool/install_llvm.sh
+
+# set up environment
+export ROOT_DIR=path/to/ConFuzz
+export PATH=$ROOT_DIR/clang+llvm/bin:$PATH
+export LD_LIBRARY_PATH=$ROOT_DIR/clang+llvm/lib:$LD_LIBRARY_PATH
+
+# install SVF
+$ROOT_DIR/tool/install_SVF.sh
+
+# install the fuzzer
+$ROOT_DIR/tool/install_Fuzzer.sh
+
+# install static analysis tool
+$ROOT_DIR/tool/install_staticAnalysis.sh
+
+# install wllvm
+sudo pip install -e /workdir/ConFuzz/tool/wllvm/
+```