Struct puffin::fuzzer::mutations::ReplaceMatchMutator

pub struct ReplaceMatchMutator<S, PT: ProtocolTypes>
where
    S: HasRand,
{
    constraints: TermConstraints,
    signature: &'static Signature<PT>,
    phantom_s: PhantomData<S>,
}

REPLACE-MATCH: Replaces a function symbol with a different one (such that types match).

An example would be to replace a constant with another constant or the binary function fn_add with fn_sub. It can also replace any variable with a constant.

Fields

constraints: TermConstraints

signature: &'static Signature<PT>

phantom_s: PhantomData<S>

Implementations

impl<S, PT: ProtocolTypes> ReplaceMatchMutator<S, PT>

where S: HasRand,

pub fn new( constraints: TermConstraints, signature: &'static Signature<PT>, ) -> Self

Trait Implementations

impl<S, PT: ProtocolTypes> Mutator<Trace<PT>, S> for ReplaceMatchMutator<S, PT>

where S: HasRand,

fn mutate( &mut self, state: &mut S, trace: &mut Trace<PT>, _stage_idx: i32, ) -> Result<MutationResult, Error>

Mutate a given input

fn post_exec( &mut self, _state: &mut S, _stage_idx: i32, _corpus_idx: Option<CorpusId>, ) -> Result<(), Error>

Post-process given the outcome of the execution

impl<S, PT: ProtocolTypes> Named for ReplaceMatchMutator<S, PT>

where S: HasRand,

fn name(&self) -> &str

Provide the name of this element.