Failed to run AFL++ with datAFlow-cc instrumented targets.
- Dominant language
- Faust
- Stars
- 125
- Forks
- 10
- PR merge metrics
- No merged PRs in 30d
Description
I follow the guidence (https://dl.acm.org/doi/10.1145/3587159#d1e963) to try to run the DDFuzz targets qbe(section 4.2).
my current path is /xxx/xxx/datAFlow/qbe
Below is my command:
CC=../build/install/bin/dataflow-cc \
CXX=../build/install/bin/dataflow-c++ \
FUZZALLOC_DEF_MEM_FUNCS=../evaluation/ddfuzz/mem-funcs/qbe.txt \
FUZZALLOC_DEF_SENSITIVITY=array \
FUZZALLOC_USE_SENSITIVITY=read:write \
FUZZALLOC_USE_CAPTURE=use \
FUZZALLOC_USE_INST=afl make -j
**After i run these commands, it seems some .c files are instrumented.**
../build/install/bin/dataflow-cc main.o util.o parse.o cfg.o mem.o ssa.o alias.o load.o copy.o fold.o live.o spill.o rega.o gas.o amd64/targ.o amd64/sysv.o amd64/isel.o amd64/emit.o arm64/targ.o arm64/abi.o arm64/isel.o arm64/emit.o rv64/targ.o rv64/abi.o rv64/isel.o rv64/emit.o -o qbe
**Then I follw the guide to run:**
AFL_NO_UI=1 \
timeout 24h ../build/install/bin/afl-fuzz -m none -t 1000+ \
-i ../evaluation/ddfuzz/seeds/qbe -o out -- ./qbe @@
**but AFL++ return the error msg:**
......
[-] PROGRAM ABORT : No instrumentation detected
Location : check_binary(), src/afl-fuzz-init.c:2817
so could some one help me to figure out why this happen?
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.