Module libafl::corpus::minimizer[][src]

The Minimizer schedulers are a family of corpus schedulers that feed the fuzzer

Structs

IsFavoredMetadata

A testcase metadata saying if a testcase is favored

LenTimeMulFavFactor

Multiply the testcase size with the execution time. This favors small and quick testcases.

MinimizerCorpusScheduler

The MinimizerCorpusScheduler 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 FavFactor

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

Traits

FavFactor

Compute the favor factor of a Testcase. Lower is better.

Type Definitions

IndexesLenTimeMinimizerCorpusScheduler

A MinimizerCorpusScheduler with LenTimeMulFavFactor to prioritize quick and small Testcases that exercise all the entries registered in the MapIndexesMetadata.

LenTimeMinimizerCorpusScheduler

A MinimizerCorpusScheduler with LenTimeMulFavFactor to prioritize quick and small Testcases.