This is a modified version of the Windranger fuzzer(ICSE '22). It has been adapted to be used with LLVM version 16 for compatibility with Rust projects.
- llvm 16 (https://github.com/llvm/llvm-project/tree/llvmorg-16.0.4)
- SVF 3.0 (https://github.com/SVF-tools/SVF) build with llvm 16
- rustc release 1.70.0
- build target source
./build.sh <target src>- fuzz with single processor
./fuzz/afl-fuzz -m none -i in -o out <target binary>- fuzz with multiprocessor
./parallel-fuzz.sh <target binary> <number of nodes>
# check active nodes(processors)
./fuzz/afl-gotcpu- clean up
# kill active processes
./kill.sh
# clean up artifacts
./clean.sh