Struct puffin::fuzzer::feedback::MinimizingFeedback

pub struct MinimizingFeedback<SC, PT>
where
    SC: HasCorpus + HasRand + HasMaxSize + UsesInput<Input = Trace<PT>> + State,
    PT: ProtocolTypes + 'static,
{
    enabled: bool,
    pub(crate) phantom: PhantomData<SC>,
}

Custom feedback for minimizing traces after execution and prior to adding them to the corpus.

Fields

enabled: bool

phantom: PhantomData<SC>

Implementations

impl<SC, PT> MinimizingFeedback<SC, PT>

where SC: HasCorpus + HasRand + HasMaxSize + UsesInput<Input = Trace<PT>> + State, PT: ProtocolTypes + 'static,

pub fn new(with_truncation: bool) -> Self

Trait Implementations

impl<SC, PT> Clone for MinimizingFeedback<SC, PT>

where SC: HasCorpus + HasRand + HasMaxSize + UsesInput<Input = Trace<PT>> + State + Clone, PT: ProtocolTypes + 'static + Clone,

fn clone(&self) -> MinimizingFeedback<SC, PT>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<SC, PT> Debug for MinimizingFeedback<SC, PT>

where SC: HasCorpus + HasRand + HasMaxSize + UsesInput<Input = Trace<PT>> + State + Debug, PT: ProtocolTypes + 'static + Debug,

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

Formats the value using the given formatter.

impl<'de, SC, PT> Deserialize<'de> for MinimizingFeedback<SC, PT>

where SC: HasCorpus + HasRand + HasMaxSize + UsesInput<Input = Trace<PT>> + State, PT: ProtocolTypes + 'static,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<SC, PT> Feedback<SC> for MinimizingFeedback<SC, PT>

where SC: HasCorpus + HasRand + HasMaxSize + UsesInput<Input = Trace<PT>> + State, PT: ProtocolTypes + 'static,

fn append_metadata<OT>( &mut self, _state: &mut SC, _observers: &OT, testcase: &mut Testcase<Trace<PT>>, ) -> Result<(), Error>

where OT: ObserversTuple<SC>,

Append to the testcase the generated metadata in case of a new corpus item

fn is_interesting<EM, OT>( &mut self, _: &mut SC, _: &mut EM, _: &Trace<PT>, _: &OT, _: &ExitKind, ) -> Result<bool, Error>

where EM: EventFirer<State = SC>, OT: ObserversTuple<SC>,

is_interesting return if an input is worth the addition to the corpus

fn is_interesting_introspection<EM, OT>( &mut self, _: &mut SC, _: &mut EM, _: &SC::Input, _: &OT, _: &ExitKind, ) -> Result<bool, Error>

where EM: EventFirer<State = SC>, OT: ObserversTuple<SC>,

Returns if the result of a run is interesting and the value input should be stored in a corpus. It also keeps track of introspection stats.

fn discard_metadata( &mut self, _state: &mut SC, _input: &SC::Input, ) -> Result<(), Error>

Discard the stored metadata in case that the testcase is not added to the corpus

fn init_state(&mut self, _state: &mut S) -> Result<(), Error>

Initializes the feedback state. This method is called after that the State is created.

impl<SC, PT> Named for MinimizingFeedback<SC, PT>

where SC: HasCorpus + HasRand + HasMaxSize + UsesInput<Input = Trace<PT>> + State, PT: ProtocolTypes + 'static,

fn name(&self) -> &str

Provide the name of this element.

impl<SC, PT> Serialize for MinimizingFeedback<SC, PT>

where SC: HasCorpus + HasRand + HasMaxSize + UsesInput<Input = Trace<PT>> + State, PT: ProtocolTypes + 'static,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.