Trait libafl::schedulers::Scheduler

pub trait Scheduler<I, S> where
    I: Input, {
    fn next(&self, state: &mut S) -> Result<usize, Error>;

    fn on_add(&self, _state: &mut S, _idx: usize) -> Result<(), Error> { ... }
    fn on_replace(
        &self,
        _state: &mut S,
        _idx: usize,
        _testcase: &Testcase<I>
    ) -> Result<(), Error> { ... }
    fn on_remove(
        &self,
        _state: &mut S,
        _idx: usize,
        _testcase: &Option<Testcase<I>>
    ) -> 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 next(&self, state: &mut S) -> Result<usize, Error>

Gets the next entry

Provided Methods

fn on_add(&self, _state: &mut S, _idx: usize) -> Result<(), Error>

Add an entry to the corpus and return its index

fn on_replace(
    &self,
    _state: &mut S,
    _idx: usize,
    _testcase: &Testcase<I>
) -> Result<(), Error>

Replaces the testcase at the given idx

fn on_remove(
    &self,
    _state: &mut S,
    _idx: usize,
    _testcase: &Option<Testcase<I>>
) -> Result<(), Error>

Removes an entry from the corpus, returning it if it was present.

Implementors

impl<'a, CS, I, S> Scheduler<I, S> for CoverageAccountingScheduler<'a, CS, I, S> where
    CS: Scheduler<I, S>,
    I: Input + HasLen,
    S: HasCorpus<I> + HasMetadata + HasRand, 

impl<CS, F, I, M, S> Scheduler<I, S> for MinimizerScheduler<CS, F, I, M, S> where
    CS: Scheduler<I, S>,
    F: TestcaseScore<I, S>,
    I: Input,
    M: AsSlice<usize> + SerdeAny + HasRefCnt,
    S: HasCorpus<I> + HasMetadata + HasRand, 

impl<F, I, S> Scheduler<I, S> for ProbabilitySamplingScheduler<F, I, S> where
    F: TestcaseScore<I, S>,
    I: Input,
    S: HasCorpus<I> + HasMetadata + HasRand, 

impl<F, I, S> Scheduler<I, S> for WeightedScheduler<F, I, S> where
    F: TestcaseScore<I, S>,
    S: HasCorpus<I> + HasMetadata + HasRand,
    I: Input, 

impl<I, S> Scheduler<I, S> for PowerQueueScheduler where
    S: HasCorpus<I> + HasMetadata,
    I: Input, 

impl<I, S> Scheduler<I, S> for QueueScheduler where
    S: HasCorpus<I>,
    I: Input, 

impl<I, S> Scheduler<I, S> for RandScheduler where
    S: HasCorpus<I> + HasRand,
    I: Input,