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

config updates

Browse Source
This commit is contained in:
Alwin Berger 2025-02-17 18:35:02 +01:00
parent 7d1e4fd171
commit 107ccf03a8
3 changed files with 15 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
fuzzers/FRET/benchmark/build_all_demos.sh
View File

@ -25,6 +25,7 @@ export IGNORE_INTERRUPTS=0 IGNORE_BYTES=0 SUFFIX="_seq_full"
build WATERS_DEMO $SUFFIX build WATERS_DEMO $SUFFIX
build RELEASE_DEMO $SUFFIX build RELEASE_DEMO $SUFFIX
build COPTER_DEMO $SUFFIX build COPTER_DEMO $SUFFIX
build POLYCOPTER_DEMO $SUFFIX
# Stateful -> presumably bad for us # Stateful -> presumably bad for us
## keep rng states ## keep rng states
@ -56,6 +57,7 @@ export IGNORE_INTERRUPTS=0 IGNORE_BYTES=0 SUFFIX="_par_full"
build WATERS_DEMO $SUFFIX build WATERS_DEMO $SUFFIX
build RELEASE_DEMO $SUFFIX build RELEASE_DEMO $SUFFIX
build COPTER_DEMO $SUFFIX build COPTER_DEMO $SUFFIX
build POLYCOPTER_DEMO $SUFFIX
# Stateful -> presumably bad for us # Stateful -> presumably bad for us
## keep rng states ## keep rng states
@ -73,3 +75,11 @@ export IGNORE_INTERRUPTS=0 IGNORE_BYTES=0 SUFFIX="_seq_dataflow_full"
export SPECIAL_CFLAGS="-DCOPTER_DATAFLOW=1" export SPECIAL_CFLAGS="-DCOPTER_DATAFLOW=1"
build COPTER_DEMO $SUFFIX build COPTER_DEMO $SUFFIX
unset SPECIAL_CFLAGS 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

0
fuzzers/FRET/benchmark/plot_all_benchmarks.sh → fuzzers/FRET/benchmark/old_plot_all_benchmarks.sh
View File

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

@ -38,3 +38,6 @@ 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_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_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 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
1 kernel main_function input_symbol input_size return_function select_task interrupts
38 copter_par_stateful_int main_osek FUZZ_INPUT 4096 trigger_Qemu_break FC 0#20000
39 copter_par_stateful_bytes main_osek FUZZ_INPUT 4096 trigger_Qemu_break FC
40 copter_seq_dataflow_full main_osek FUZZ_INPUT 4096 trigger_Qemu_break FC 0#20000
41 copter_par_dataflow_full main_osek FUZZ_INPUT 4096 trigger_Qemu_break FC 0#20000
42 polycopter_par_full main_osek FUZZ_INPUT 4096 trigger_Qemu_break FC 0#20000
43 polycopter_seq_full main_osek FUZZ_INPUT 4096 trigger_Qemu_break FC 0#20000