Artifact of GrayC: Greybox Fuzzing of Compilers and Analysers for C

This is the official artifact of the paper: GrayC: Greybox Fuzzing of Compilers and Analysers for C (ISSTA 2023). =======> DOWNLOAD THE ARTIFACT IN THE DOCKER IMAGE TO START <======= The main GitHub Repository is: https://github.com/srg-imperial/GrayC/tree/main/ISSTA-2023-AE. All Docker images versions and data are here: Artifact-GrayC and the last DOCKER IMAGE IS THIS: GrayC-v3.tar Data Availability: the other files contain data and all our source code as part of the Open Science Policy. Note 1: This work was supported by EPSRC (EP/R011605/1 and EP/R006865/1). Note 2: The first two authors both contributed equally to this research. Note 3: Karine Even-Mendoza: A major part of this work was done as an Imperial College London employee. Note 4: Please ignore all other anonymised versions of GrayC and use only this de-anonymised one. Troubleshooting (Updated March 2025) A. Install missing packages: sudo apt-get install libtinfo-dev sudo apt-get install libbsd-dev B. Fix broken script: install-fuzzers-grayc.sh, by changing AE to fuzzing (there is only one place of /AE/ path). C. LLVM-12 is now part of apt, so you need to run this: sudo apt install clang-12 lld-12 llvm-12 llvm-12-dev sudo update-alternatives --install /usr/bin/clang clang /usr/bin/clang-12 120 --slave /usr/bin/clang++ clag++ /usr/bin/clang++-12 ### Full Installation Testing on Cloudlab m510 (last updated 13-Jun-2025) sudo useradd user42 sudo passwd user42 sudo usermod -aG sudo user42 sudo mkdir -p /home/user42 sudo usermod -d /home/user42 user42 sudo chmod 755 /home/user42 sudo apt-get install software-properties-common sudo add-apt-repository ppa:ubuntu-toolchain-r/test sudo apt-get update sudo apt-get install libtinfo-dev sudo apt-get install libbsd-dev sudo apt install clang-12 lld-12 llvm-12 llvm-12-dev sudo update-alternatives --install /usr/bin/clang clang /usr/bin/clang-12 120 --slave /usr/bin/clang++ clag++ /usr/bin/clang++-12 git clone https://github.com/srg-imperial/GrayC.git cd GrayC/ git checkout 916455f cd ISSTA-2023-AE/fuzzerFix broken script: install-fuzzers-grayc.sh, by changing AE to fuzzing (there is only one place of /AE/ path).Then run: ./1-download-llvm.sh /home/user42/ 12 ./install-fuzzers-grayc.sh /home/user42/ /home/user42/<SOURCE-FOLDER> /home/user42/GrayC/ISSTA-2023-AE 1 with some detailed instructions here: https://github.com/srg-imperial/GrayC/tree/issta-2023/ISSTA-2023-AE/fuzzer. Then to run the fuzzer, you run: user42@node0:~/GrayC/ISSTA-2023-AE/fuzzer$ ./run-fuzzers.sh /home/user42/ /home/user42/GrayC/ISSTA-2023-AE/fuzzer/seeds/ 1