Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Failed to run AFL++ with datAFlow-cc instrumented targets. #4

Open
WuHanDuanTao opened this issue Mar 25, 2024 · 0 comments
Open

Failed to run AFL++ with datAFlow-cc instrumented targets. #4

WuHanDuanTao opened this issue Mar 25, 2024 · 0 comments

Comments

@WuHanDuanTao
Copy link

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?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant