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 Mach 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

GitHub Repository of GrayC: https://github.com/srg-imperial/GrayC/tree/main/ISSTA-2023-AE.