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