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

Update last found time when evaluating an input (#2782)

Browse Source 
Co-authored-by: celian <cglenaz>
Co-authored-by: Dongjia "toka" Zhang <tokazerkje@outlook.com>
This commit is contained in:
Celian G. 2024-12-19 14:51:59 +01:00 committed by GitHub
parent 5d70216cc7
commit 09950ccc34
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
libafl/src/fuzzer/mod.rs
View File

@ -298,7 +298,8 @@ where
+ MaybeHasClientPerfMonitor + MaybeHasClientPerfMonitor
+ UsesInput<Input = <S::Corpus as Corpus>::Input> + UsesInput<Input = <S::Corpus as Corpus>::Input>
+ HasCurrentTestcase + HasCurrentTestcase
+ HasSolutions, + HasSolutions
+ HasLastFoundTime,
F: Feedback<EM, <S::Corpus as Corpus>::Input, OT, S>, F: Feedback<EM, <S::Corpus as Corpus>::Input, OT, S>,
OF: Feedback<EM, <S::Corpus as Corpus>::Input, OT, S>, OF: Feedback<EM, <S::Corpus as Corpus>::Input, OT, S>,
OT: ObserversTuple<<S::Corpus as Corpus>::Input, S> + Serialize, OT: ObserversTuple<<S::Corpus as Corpus>::Input, S> + Serialize,
@ -359,6 +360,9 @@ where
if send_events { if send_events {
self.serialize_and_dispatch(state, manager, input, &exec_res, observers, exit_kind)?; self.serialize_and_dispatch(state, manager, input, &exec_res, observers, exit_kind)?;
} }
if exec_res != ExecuteInputResult::None {
*state.last_found_time_mut() = current_time();
}
Ok((exec_res, corpus_id)) Ok((exec_res, corpus_id))
} }
@ -505,7 +509,8 @@ where
+ MaybeHasClientPerfMonitor + MaybeHasClientPerfMonitor
+ HasCurrentTestcase + HasCurrentTestcase
+ UsesInput<Input = <S::Corpus as Corpus>::Input> + UsesInput<Input = <S::Corpus as Corpus>::Input>
+ HasExecutions, + HasExecutions
+ HasLastFoundTime,
<S::Corpus as Corpus>::Input: Input, <S::Corpus as Corpus>::Input: Input,
S::Solutions: Corpus<Input = <S::Corpus as Corpus>::Input>, S::Solutions: Corpus<Input = <S::Corpus as Corpus>::Input>,
{ {