From 107ccf03a8d56a36253892af8891344d9ce283ef Mon Sep 17 00:00:00 2001 From: Alwin Berger Date: Mon, 17 Feb 2025 18:35:02 +0100 Subject: [PATCH] config updates --- fuzzers/FRET/benchmark/build_all_demos.sh | 12 +++++++++++- ..._all_benchmarks.sh => old_plot_all_benchmarks.sh} | 0 fuzzers/FRET/benchmark/target_symbols.csv | 5 ++++- 3 files changed, 15 insertions(+), 2 deletions(-) rename fuzzers/FRET/benchmark/{plot_all_benchmarks.sh => old_plot_all_benchmarks.sh} (100%) diff --git a/fuzzers/FRET/benchmark/build_all_demos.sh b/fuzzers/FRET/benchmark/build_all_demos.sh index 68de7f8cba..5a7d52fe0a 100644 --- a/fuzzers/FRET/benchmark/build_all_demos.sh +++ b/fuzzers/FRET/benchmark/build_all_demos.sh @@ -25,6 +25,7 @@ export IGNORE_INTERRUPTS=0 IGNORE_BYTES=0 SUFFIX="_seq_full" build WATERS_DEMO $SUFFIX build RELEASE_DEMO $SUFFIX build COPTER_DEMO $SUFFIX +build POLYCOPTER_DEMO $SUFFIX # Stateful -> presumably bad for us ## keep rng states @@ -56,6 +57,7 @@ export IGNORE_INTERRUPTS=0 IGNORE_BYTES=0 SUFFIX="_par_full" build WATERS_DEMO $SUFFIX build RELEASE_DEMO $SUFFIX build COPTER_DEMO $SUFFIX +build POLYCOPTER_DEMO $SUFFIX # Stateful -> presumably bad for us ## keep rng states @@ -72,4 +74,12 @@ export IGNORE_INTERNAL_STATE=1 export IGNORE_INTERRUPTS=0 IGNORE_BYTES=0 SUFFIX="_seq_dataflow_full" export SPECIAL_CFLAGS="-DCOPTER_DATAFLOW=1" build COPTER_DEMO $SUFFIX -unset SPECIAL_CFLAGS \ No newline at end of file +unset SPECIAL_CFLAGS + +# stateless + dataflow +export PARTITION_INPUT=1 +export IGNORE_INTERNAL_STATE=1 +export IGNORE_INTERRUPTS=0 IGNORE_BYTES=0 SUFFIX="_par_dataflow_full" +export SPECIAL_CFLAGS="-DCOPTER_DATAFLOW=1" +build COPTER_DEMO $SUFFIX +unset SPECIAL_CFLAGS diff --git a/fuzzers/FRET/benchmark/plot_all_benchmarks.sh b/fuzzers/FRET/benchmark/old_plot_all_benchmarks.sh similarity index 100% rename from fuzzers/FRET/benchmark/plot_all_benchmarks.sh rename to fuzzers/FRET/benchmark/old_plot_all_benchmarks.sh diff --git a/fuzzers/FRET/benchmark/target_symbols.csv b/fuzzers/FRET/benchmark/target_symbols.csv index 475e0bc6aa..fa719fcb0d 100644 --- a/fuzzers/FRET/benchmark/target_symbols.csv +++ b/fuzzers/FRET/benchmark/target_symbols.csv @@ -37,4 +37,7 @@ copter_seq_stateful_bytes,main_osek,FUZZ_INPUT,4096,trigger_Qemu_break,FC, copter_par_stateful_full,main_osek,FUZZ_INPUT,4096,trigger_Qemu_break,FC,0#20000 copter_par_stateful_int,main_osek,FUZZ_INPUT,4096,trigger_Qemu_break,FC,0#20000 copter_par_stateful_bytes,main_osek,FUZZ_INPUT,4096,trigger_Qemu_break,FC, -copter_seq_dataflow_full,main_osek,FUZZ_INPUT,4096,trigger_Qemu_break,FC,0#20000 \ No newline at end of file +copter_seq_dataflow_full,main_osek,FUZZ_INPUT,4096,trigger_Qemu_break,FC,0#20000 +copter_par_dataflow_full,main_osek,FUZZ_INPUT,4096,trigger_Qemu_break,FC,0#20000 +polycopter_par_full,main_osek,FUZZ_INPUT,4096,trigger_Qemu_break,FC,0#20000 +polycopter_seq_full,main_osek,FUZZ_INPUT,4096,trigger_Qemu_break,FC,0#20000 \ No newline at end of file