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