AFL++

Install AFL++ at https://github.com/AFLplusplus/AFLplusplus
Follow the INSTALL.md guide and just build it yourself

Using the suns-dataset, we can now compile some of the files.

afl-gcc-fast -g -fprofile-arcs -ftest-coverage -o overapprox_fptr overapprox_fptr.c

We can create two directories for the fuzzer

mkdir in
mkdir out

Then in the in directory, we can create an input file for arguments.

cd in
echo 3 > inputs.txt
echo 4 >> inputs.txt
cd ..

Then we run the fuzzer.

afl-fuzz -i in -o out -- ./overapprox_fptr @@

We abort early because we're getting tired of waiting.

Download afl-cov at https://github.com/vanhauser-thc/afl-cov.
Patch agl-cov to remove \ from \* on line 1480.

We can run the analysis.

~/afl-cov/afl-cov -d out -e "./overapprox_fptr @@" -c .