From 5b662397be1e43b30a90e2ffcfbfa5194860a8fe Mon Sep 17 00:00:00 2001 From: Alwin Berger Date: Thu, 12 Sep 2024 16:01:15 +0200 Subject: [PATCH] fix array index --- fuzzers/FRET/src/systemstate/mutational.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/fuzzers/FRET/src/systemstate/mutational.rs b/fuzzers/FRET/src/systemstate/mutational.rs index 837c5c8b2d..56be55c3ef 100644 --- a/fuzzers/FRET/src/systemstate/mutational.rs +++ b/fuzzers/FRET/src/systemstate/mutational.rs @@ -83,7 +83,7 @@ pub fn try_force_new_branches(interrupt_ticks : &[u32], fbs: &STGFeedbackState, let mut new_interrupt_times = Vec::new(); for (num,&interrupt_time) in interrupt_ticks.iter().enumerate() { let lower_bound = if num==0 {FIRST_INT} else {interrupt_ticks[num-1].saturating_add(config.1 * QEMU_ISNS_PER_USEC)}; - let next = if interrupt_ticks.len()>num {interrupt_ticks[num+1]} else {u32::MAX}; + let next = if interrupt_ticks.len()>num+1 {interrupt_ticks[num+1]} else {u32::MAX}; for exec_interval in meta.intervals.iter().filter(|x| x.start_tick >= lower_bound as u64 && x.start_tick < next as u64) { if !(exec_interval.start_capture.0==CaptureEvent::ISRStart) { // shortcut to skip interrupt handers without node lookup let node_index = fbs.state_abb_hash_index.get(&exec_interval.get_hash_index()).unwrap();