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

config changes

Browse Source
This commit is contained in:
Alwin Berger 2025-02-07 12:43:42 +01:00
parent 149dd4b36a
commit 809f3b0d6a
4 changed files with 16 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -50,4 +50,12 @@ build COPTER_DEMO $SUFFIX
export FUZZ_INT_ACTIVATION=1 FUZZ_BYTES=0 SUFFIX="_seq_int"
build COPTER_DEMO $SUFFIX
export FUZZ_INT_ACTIVATION=1 FUZZ_BYTES=1 SUFFIX="_seq_full"
build COPTER_DEMO $SUFFIX
export PARTITION_INPUT=1
export FUZZ_INT_ACTIVATION=0 FUZZ_BYTES=1 SUFFIX="_par_bytes"
build COPTER_DEMO $SUFFIX
export FUZZ_INT_ACTIVATION=1 FUZZ_BYTES=0 SUFFIX="_par_int"
build COPTER_DEMO $SUFFIX
export FUZZ_INT_ACTIVATION=1 FUZZ_BYTES=1 SUFFIX="_par_full"
build COPTER_DEMO $SUFFIX

8
fuzzers/FRET/benchmark/plot_all_benchmarks.sh
View File

@ -9,7 +9,7 @@ export SUFFIX="_seq_bytes"
plot waters $SUFFIX
#plot release $SUFFIX
#plot copter $SUFFIX
plot copter $SUFFIX
#plot interact $SUFFIX
# Only interrupts
@ -18,7 +18,7 @@ export SUFFIX="_seq_int"
plot waters $SUFFIX
plot release $SUFFIX
#plot copter $SUFFIX
plot copter $SUFFIX
#plot interact $SUFFIX
# Full
@ -30,4 +30,6 @@ plot waters $SUFFIX
plot copter $SUFFIX
#plot interact $SUFFIX
# plot copter "_seq_stateless_full"
plot copter "_seq_stateless_full"
plot copter "_par_full"

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

@ -10,6 +10,7 @@ release_seq_full,main_release,FUZZ_INPUT,4096,trigger_Qemu_break,T3,0#10000;1#50
release_seq_int,main_release,FUZZ_INPUT,4096,trigger_Qemu_break,T3,0#10000;1#5000;2#2000;3#3000
release_seq_bytes,main_release,FUZZ_INPUT,4096,trigger_Qemu_break,T3,
copter_seq_full,main_osek,FUZZ_INPUT,4096,trigger_Qemu_break,FC,0#20000
copter_par_full,main_osek,FUZZ_INPUT,4096,trigger_Qemu_break,FC,0#20000
copter_seq_int,main_osek,FUZZ_INPUT,4096,trigger_Qemu_break,FC,0#20000
copter_seq_bytes,main_osek,FUZZ_INPUT,4096,trigger_Qemu_break,FC,
copter_par_bytes,main_osek,FUZZ_INPUT,4096,trigger_Qemu_break,FC,

1 kernel main_function input_symbol input_size return_function select_task interrupts
10 release_seq_int main_release FUZZ_INPUT 4096 trigger_Qemu_break T3 0#10000;1#5000;2#2000;3#3000
11 release_seq_bytes main_release FUZZ_INPUT 4096 trigger_Qemu_break T3
12 copter_seq_full main_osek FUZZ_INPUT 4096 trigger_Qemu_break FC 0#20000
13 copter_par_full main_osek FUZZ_INPUT 4096 trigger_Qemu_break FC 0#20000
14 copter_seq_int main_osek FUZZ_INPUT 4096 trigger_Qemu_break FC 0#20000
15 copter_seq_bytes main_osek FUZZ_INPUT 4096 trigger_Qemu_break FC
16 copter_par_bytes main_osek FUZZ_INPUT 4096 trigger_Qemu_break FC

6
fuzzers/FRET/src/systemstate/helpers.rs
View File

@ -6,10 +6,7 @@ use std::cmp::min;
use crate::{fuzzer::{DO_NUM_INTERRUPT, FIRST_INT}, time::clock::QEMU_ISNS_PER_USEC};
use super::{
target_os::{SystemTraceData, TargetSystem},
ExecInterval,
};
use super::ExecInterval;
//============================= API symbols
@ -183,6 +180,7 @@ where
/// Build an ABB-profile from a stretch of intervals
/// returns mapping: task_name -> (abb_addr -> (interval_count, exec_count, exec_time))
#[allow(unused)]
pub fn abb_profile(
mut intervals: Vec<ExecInterval>,
) -> HashMap<String, HashMap<u32, (usize, usize, u64)>> {