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

Fix 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