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 a05ff97d0c
commit bf639e42fa
2 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
fuzzers/FRET/benchmark/Snakefile
View File

@ -97,7 +97,7 @@ rule run_bench:
export FUZZ_INPUT={fuzz_input} export FUZZ_INPUT={fuzz_input}
export FUZZ_INPUT_LEN={fuzz_len} export FUZZ_INPUT_LEN={fuzz_len}
export BREAKPOINT={bkp} export BREAKPOINT={bkp}
export SEED_RANDOM={num} export SEED_RANDOM={wildcards.num}
export TIME_DUMP=$(pwd)/{output[0]} export TIME_DUMP=$(pwd)/{output[0]}
export CASE_DUMP=$(pwd)/{output[2]} export CASE_DUMP=$(pwd)/{output[2]}
export FUZZ_ITERS=10800 export FUZZ_ITERS=10800
@ -175,12 +175,12 @@ rule all_bins:
rule all_periodic: rule all_periodic:
input: 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: rule all_compare_afl_longest:
input: 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: rule all_micro:
input: input:
expand("timedump/{fuzzer}/{target}.{num}", fuzzer=['afl_int','state_int','random_int','feedlongest_int'], target=['waters_int','micro_longint'],num=range(0,10)) expand("timedump/{fuzzer}/{target}.{num}", fuzzer=['afl_int','state_int','random_int','feedlongest_int'], target=['waters_int','micro_longint'],num=range(0,10))

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,main_waters,FUZZ_INPUT,4096,trigger_Qemu_break
waters_int,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_branchless,main_branchless,FUZZ_INPUT,4,trigger_Qemu_break
micro_int,main_branchless,FUZZ_INPUT,16,trigger_Qemu_break micro_int,main_int,FUZZ_INPUT,16,trigger_Qemu_break
micro_longint,main_branchless,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