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

keep more cases when pruning, try more non-favored cases

Browse Source
This commit is contained in:
Alwin Berger 2024-11-11 13:50:44 +01:00
parent 79f0aab769
commit 2a61f51a69
3 changed files with 8 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
fuzzers/FRET/src/fuzzer.rs
View File

@ -478,7 +478,11 @@ let run_client = |state: Option<_>, mut mgr, _core_id| {
#[cfg(feature = "sched_afl",)]
let scheduler = TimeMaximizerCorpusScheduler::new(&edges_observer,TimeProbMassScheduler::new());
#[cfg(feature = "sched_stg")]
let scheduler = GraphMaximizerCorpusScheduler::non_metadata_removing(&stg_coverage_observer,TimeProbMassScheduler::new());
let mut scheduler = GraphMaximizerCorpusScheduler::non_metadata_removing(&stg_coverage_observer,TimeProbMassScheduler::new());
#[cfg(feature = "sched_stg")]
{
scheduler.skip_non_favored_prob = 0.8;
}
#[cfg(feature = "sched_genetic")]
let scheduler = GenerationScheduler::new();

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

@ -105,8 +105,8 @@ where
const PRUNE_MAX_KEEP: usize = 1000;
const PRUNE_MIN_KEEP: usize = 100;
let cc = state.corpus().count();
let to_keep = usize::min(vc*MULTI, PRUNE_MIN_KEEP);
let activate = cc > PRUNE_MAX_KEEP || cc > vc*PRUNE_THRESHOLD;
let to_keep = usize::max(vc*MULTI, PRUNE_MIN_KEEP);
let activate = cc > PRUNE_MAX_KEEP || cc > usize::max(vc*PRUNE_THRESHOLD, PRUNE_MIN_KEEP*2);
if activate {
println!("Pruning corpus, keeping {} / {}", to_keep, cc);
let corpus = state.corpus_mut();

2
libafl/src/schedulers/minimizer.rs
View File

@ -82,7 +82,7 @@ impl Default for TopRatedsMetadata {
#[derive(Debug, Clone)]
pub struct MinimizerScheduler<CS, F, M, O> {
base: CS,
skip_non_favored_prob: f64,
pub skip_non_favored_prob: f64,
remove_metadata: bool,
phantom: PhantomData<(F, M, O)>,
}