Struct libafl::schedulers::accounting::CoverageAccountingScheduler

pub struct CoverageAccountingScheduler<'a, CS>where
    CS: UsesState,
    CS::State: Debug,{ /* private fields */ }

A minimizer scheduler using coverage accounting

Implementations

impl<'a, CS> CoverageAccountingScheduler<'a, CS>where
    CS: Scheduler,
    CS::State: HasCorpus + HasMetadata + HasRand + Debug,
    <CS::State as UsesInput>::Input: HasLen,

pub fn update_accounting_score(
    &self,
    state: &mut CS::State,
    idx: CorpusId
) -> Result<(), Error>

Update the Corpus score

pub fn accounting_cull(&self, state: &mut CS::State) -> Result<(), Error>

Cull the Corpus

pub fn new(state: &mut CS::State, base: CS, accounting_map: &'a [u32]) -> Self

Creates a new CoverageAccountingScheduler that wraps a base Scheduler and has a default probability to skip non-faved Testcases of DEFAULT_SKIP_NON_FAVORED_PROB.

pub fn with_skip_prob(
    state: &mut CS::State,
    base: CS,
    skip_non_favored_prob: u64,
    accounting_map: &'a [u32]
) -> Self

Creates a new CoverageAccountingScheduler that wraps a base Scheduler and has a non-default probability to skip non-faved Testcases using (skip_non_favored_prob).

Trait Implementations

impl<'a, CS> Debug for CoverageAccountingScheduler<'a, CS>where
    CS: UsesState + Debug,
    CS::State: Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'a, CS> Scheduler for CoverageAccountingScheduler<'a, CS>where
    CS: Scheduler,
    CS::State: HasCorpus + HasMetadata + HasRand + Debug,
    <CS::State as UsesInput>::Input: HasLen,

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

Added an entry to the corpus at the given index

fn on_replace(
    &self,
    state: &mut Self::State,
    idx: CorpusId,
    testcase: &Testcase<<Self::State as UsesInput>::Input>
) -> Result<(), Error>

Replaced the given testcase at the given idx

fn on_remove(
    &self,
    state: &mut Self::State,
    idx: CorpusId,
    testcase: &Option<Testcase<<Self::State as UsesInput>::Input>>
) -> Result<(), Error>

Removed the given entry from the corpus at the given index

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

Gets the next entry

impl<'a, CS> UsesState for CoverageAccountingScheduler<'a, CS>where
    CS: UsesState,
    CS::State: Debug,

type State = <CS as UsesState>::State

The state known by this type.