HexHive / HexHive/datAFLow

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

Open
#4 0 comments 0 reactions 0 assignees View on GitHub
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.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.