From bf639e42fa68ceef37cebc3469fb36c35bff2a29 Mon Sep 17 00:00:00 2001 From: Alwin Berger Date: Tue, 14 Mar 2023 17:08:05 +0100 Subject: [PATCH] fix snakefile, symbols --- fuzzers/FRET/benchmark/Snakefile | 8 ++++---- fuzzers/FRET/benchmark/target_symbols.csv | 4 ++-- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/fuzzers/FRET/benchmark/Snakefile b/fuzzers/FRET/benchmark/Snakefile index 700a4d4193..6a82e76b86 100644 --- a/fuzzers/FRET/benchmark/Snakefile +++ b/fuzzers/FRET/benchmark/Snakefile @@ -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,12 +175,12 @@ 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: - expand("timedump/{fuzzer}/{target}.{num}", fuzzer=['afl_int','state_int','random_int','feedlongest_int'], target=['waters_int','micro_longint'],num=range(0,10)) \ No newline at end of file + expand("timedump/{fuzzer}/{target}.{num}", fuzzer=['afl_int','state_int','random_int','feedlongest_int'], target=['waters_int','micro_longint'],num=range(0,10)) diff --git a/fuzzers/FRET/benchmark/target_symbols.csv b/fuzzers/FRET/benchmark/target_symbols.csv index 31e803d8e4..8c82e97c06 100644 --- a/fuzzers/FRET/benchmark/target_symbols.csv +++ b/fuzzers/FRET/benchmark/target_symbols.csv @@ -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 \ No newline at end of file +micro_int,main_int,FUZZ_INPUT,16,trigger_Qemu_break +micro_longint,main_micro_longint,FUZZ_INPUT,16,trigger_Qemu_break