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

hack async activation detection

Browse Source
This commit is contained in:
Alwin Berger 2023-09-18 16:49:28 +02:00
parent bf42de5698
commit 3a601fe250
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
fuzzers/FRET/src/systemstate/observers.rs
View File

@ -134,7 +134,9 @@ fn refine_system_states(input: &mut Vec<RawFreeRTOSSystemState>) -> Vec<RefinedF
// increase when: // increase when:
// current and delayed afterwards // current and delayed afterwards
if let Some(_) = delay_list.iter().find(|x| (*x).task_name==cur.task_name) { if cur.task_name.contains("async") {
*iteration_counts.get_mut(&cur.task_name).unwrap()+=1;
} else if let Some(_) = delay_list.iter().find(|x| (*x).task_name==cur.task_name) {
*iteration_counts.get_mut(&cur.task_name).unwrap()+=1; *iteration_counts.get_mut(&cur.task_name).unwrap()+=1;
} }