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

libafl: asserts in MapFeedback::is_interesting to hint the compiler

Browse Source
This commit is contained in:
Andrea Fioraldi 2021-05-21 15:42:28 +02:00
parent f506b3722e
commit dd6f6fa03a
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
libafl/src/feedbacks/map.rs
View File

@ -237,6 +237,9 @@ where
.match_name_mut::<MapFeedbackState<T>>(&self.name) .match_name_mut::<MapFeedbackState<T>>(&self.name)
.unwrap(); .unwrap();
assert!(size <= map_state.history_map.len());
assert!(size <= observer.map().len());
if self.indexes.is_none() && self.novelties.is_none() { if self.indexes.is_none() && self.novelties.is_none() {
for i in 0..size { for i in 0..size {
let history = map_state.history_map[i]; let history = map_state.history_map[i];