SYS-OSS/FRET-LibAFL
4
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix snakefile, symbols

Browse Source
This commit is contained in:
Alwin Berger 2023-03-14 17:08:05 +01:00
parent 99daee7b14
commit 5db99e4e68
2 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
fuzzers/FRET/benchmark/Snakefile
View File

@ -97,7 +97,7 @@ rule run_bench:
export FUZZ_INPUT={fuzz_input}
export FUZZ_INPUT_LEN={fuzz_len}
export BREAKPOINT={bkp}
export SEED_RANDOM={num}
export SEED_RANDOM={wildcards.num}
export TIME_DUMP=$(pwd)/{output[0]}
export CASE_DUMP=$(pwd)/{output[2]}
export FUZZ_ITERS=10800
@ -175,11 +175,11 @@ rule all_bins:
rule all_periodic:
input:
expand("timedump/{fuzzer}/{target}.{num}", fuzzer=['random','afl','state','graph'], target=['waters'],num=range(0,10))
expand("timedump/{fuzzer}/{target}.{num}", fuzzer=['random','afl','state'], target=['waters', 'tmr'],num=range(0,10))
rule all_compare_afl_longest:
input:
expand("timedump/{fuzzer}/{target}.{num}", fuzzer=['afl','feedlongest','feedaflnolongest'], target=['waters'],num=range(0,10))
expand("timedump/{fuzzer}/{target}.{num}", fuzzer=['afl','feedlongest','feedaflnolongest'], target=['waters', 'tmr'],num=range(0,10))
rule all_micro:
input:

4
fuzzers/FRET/benchmark/target_symbols.csv
View File

@ -18,5 +18,5 @@ lift,main_lift,FUZZ_INPUT,100,trigger_Qemu_break
waters,main_waters,FUZZ_INPUT,4096,trigger_Qemu_break
waters_int,main_waters,FUZZ_INPUT,4096,trigger_Qemu_break
micro_branchless,main_branchless,FUZZ_INPUT,4,trigger_Qemu_break
micro_int,main_branchless,FUZZ_INPUT,16,trigger_Qemu_break
micro_longint,main_branchless,FUZZ_INPUT,16,trigger_Qemu_break
micro_int,main_int,FUZZ_INPUT,16,trigger_Qemu_break
micro_longint,main_micro_longint,FUZZ_INPUT,16,trigger_Qemu_break

1 kernel main_function input_symbol input_size return_function
18 waters main_waters FUZZ_INPUT 4096 trigger_Qemu_break
19 waters_int main_waters FUZZ_INPUT 4096 trigger_Qemu_break
20 micro_branchless main_branchless FUZZ_INPUT 4 trigger_Qemu_break
21 micro_int main_branchless main_int FUZZ_INPUT 16 trigger_Qemu_break
22 micro_longint main_branchless main_micro_longint FUZZ_INPUT 16 trigger_Qemu_break