Trait libafl::schedulers::Scheduler

pub trait Scheduler: UsesState
where
    Self::State: HasCorpus,
{
    // Required methods
    fn on_add(
        &mut self,
        _state: &mut Self::State,
        _idx: CorpusId
    ) -> Result<(), Error>;
    fn next(&mut self, state: &mut Self::State) -> Result<CorpusId, Error>;

    // Provided methods
    fn on_evaluation<OT>(
        &mut self,
        _state: &mut Self::State,
        _input: &<Self::State as UsesInput>::Input,
        _observers: &OT
    ) -> Result<(), Error>
       where OT: ObserversTuple<Self::State> { ... }
    fn set_current_scheduled(
        &mut self,
        state: &mut Self::State,
        next_idx: Option<CorpusId>
    ) -> Result<(), Error> { ... }
}

The scheduler define how the fuzzer requests a testcase from the corpus. It has hooks to corpus add/replace/remove to allow complex scheduling algorithms to collect data.

Required Methods

fn on_add( &mut self, _state: &mut Self::State, _idx: CorpusId ) -> Result<(), Error>

Called when a Testcase is added to the corpus

fn next(&mut self, state: &mut Self::State) -> Result<CorpusId, Error>

Gets the next entry

Provided Methods

fn on_evaluation<OT>( &mut self, _state: &mut Self::State, _input: &<Self::State as UsesInput>::Input, _observers: &OT ) -> Result<(), Error>

where OT: ObserversTuple<Self::State>,

An input has been evaluated

fn set_current_scheduled( &mut self, state: &mut Self::State, next_idx: Option<CorpusId> ) -> Result<(), Error>

Set current fuzzed corpus id and scheduled_count

Object Safety

This trait is not object safe.

Implementors

impl<'a, CS, O> Scheduler for CoverageAccountingScheduler<'a, CS, O>

where CS: Scheduler, CS::State: HasCorpus + HasMetadata + HasRand + Debug, <CS::State as UsesInput>::Input: HasLen, O: CanTrack,

impl<C, F, O, S> Scheduler for WeightedScheduler<C, F, O, S>

where F: TestcaseScore<S>, O: MapObserver, S: HasCorpus + HasMetadata + HasRand + HasTestcase + State, C: AsRef<O> + Named,

impl<C, O, S> Scheduler for PowerQueueScheduler<C, O, S>

where S: HasCorpus + HasMetadata + HasTestcase + State, O: MapObserver, C: AsRef<O>,

impl<CS, F, M, O> Scheduler for MinimizerScheduler<CS, F, M, O>

where CS: Scheduler, F: TestcaseScore<CS::State>, M: AsSlice<Entry = usize> + SerdeAny + HasRefCnt, CS::State: HasCorpus + HasMetadata + HasRand, O: CanTrack,

impl<F, S> Scheduler for ProbabilitySamplingScheduler<F, S>

where F: TestcaseScore<S>, S: HasCorpus + HasMetadata + HasRand + HasTestcase + State,

impl<S> Scheduler for QueueScheduler<S>

where S: HasCorpus + HasTestcase + State,

impl<S> Scheduler for RandScheduler<S>

where S: HasCorpus + HasRand + HasTestcase + State,

impl<S> Scheduler for TuneableScheduler<S>

where S: HasCorpus + HasMetadata + HasTestcase + State,