Module libafl::schedulers::minimizer

The Minimizer schedulers are a family of corpus schedulers that feed the fuzzer with testcases only from a subset of the total corpus.

Structs

• IsFavoredMetadata
  A testcase metadata saying if a testcase is favored
• MinimizerScheduler
  The MinimizerScheduler employs a genetic algorithm to compute a subset of the corpus that exercise all the requested features (e.g. all the coverage seen so far) prioritizing Testcases using TestcaseScore
• TopRatedsMetadata
  A state metadata holding a map of favoreds testcases for each map entry

Constants

• DEFAULT_SKIP_NON_FAVORED_PROB
  Default probability to skip the non-favored values

Type Aliases

• IndexesLenTimeMinimizerScheduler
  A MinimizerScheduler with LenTimeMulTestcaseScore to prioritize quick and small Testcases that exercise all the entries registered in the MapIndexesMetadata.
• LenTimeMinimizerScheduler
  A MinimizerScheduler with LenTimeMulTestcaseScore to prioritize quick and small Testcases.