Struct fuzzcheck::sensors_and_pools::OptimiseAggregateStatPool

pub struct OptimiseAggregateStatPool<Strategy> { /* fields omitted */ }

A pool that finds a single test case maximising some statistics computed from all of the sensor’s counters.

The statistics to optimise for is determined by the Strategy type parameter, which can be:

• SumOfCounterValues to maximise the total sum of all counters
• NumberOfActivatedCounters to maximise the number of counters that are != 0

Both strategies make the pool compatible with sensors whose observation handler is &'a mut dyn FnMut((usize, u64)), such as CodeCoverageSensor and ArrayOfCounters.

Implementations

impl<Strategy> OptimiseAggregateStatPool<Strategy>

pub fn new(name: &str) -> Self

Trait Implementations

impl CompatibleWithIteratorSensor for OptimiseAggregateStatPool<SumOfCounterValues>

type Observation = (usize, u64)

type ObservationState = u64

fn start_observing(&mut self) -> Self::ObservationState

fn observe(
    &mut self,
    observation: &Self::Observation,
    _input_complexity: f64,
    state: &mut Self::ObservationState
)

fn finish_observing(
    &mut self,
    _state: &mut Self::ObservationState,
    _input_complexity: f64
)

fn is_interesting(
    &self,
    observation_state: &Self::ObservationState,
    input_complexity: f64
) -> bool

fn add(
    &mut self,
    input_idx: PoolStorageIndex,
    complexity: f64,
    observation_state: Self::ObservationState
) -> Vec<CorpusDelta>

impl CompatibleWithIteratorSensor for OptimiseAggregateStatPool<NumberOfActivatedCounters>

type Observation = (usize, u64)

type ObservationState = u64

fn start_observing(&mut self) -> Self::ObservationState

fn observe(
    &mut self,
    _observation: &Self::Observation,
    _input_complexity: f64,
    state: &mut Self::ObservationState
)

fn finish_observing(
    &mut self,
    _state: &mut Self::ObservationState,
    _input_complexity: f64
)

fn is_interesting(
    &self,
    observation_state: &Self::ObservationState,
    input_complexity: f64
) -> bool

fn add(
    &mut self,
    input_idx: PoolStorageIndex,
    complexity: f64,
    observation_state: Self::ObservationState
) -> Vec<CorpusDelta>

impl<Strategy> Pool for OptimiseAggregateStatPool<Strategy>

type Stats = Stats

Statistics about the pool to be printed to the terminal as the fuzzer is running and saved to a .csv file after the run

fn len(&self) -> usize

The number of test cases in the pool

fn stats(&self) -> Self::Stats

The pool’s statistics

fn get_random_index(&mut self) -> Option<PoolStorageIndex>

Get the index of a random test case.

fn mark_test_case_as_dead_end(&mut self, _idx: PoolStorageIndex)

Mark a certain test case as a dead end.