Struct libafl::feedbacks::concolic::ConcolicFeedback

pub struct ConcolicFeedback<S> { /* private fields */ }

The concolic feedback. It is used to attach concolic tracing metadata to the testcase. This feedback should be used in combination with another feedback as this feedback always considers testcases to be not interesting. Requires a ConcolicObserver to observe the concolic trace.

Implementations

impl<S> ConcolicFeedback<S>

pub fn from_observer(observer: &ConcolicObserver<'_>) -> Self

Creates a concolic feedback from an observer

Trait Implementations

impl<S: Debug> Debug for ConcolicFeedback<S>

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

Formats the value using the given formatter.

impl<S> Feedback<S> for ConcolicFeedback<S>where
    S: UsesInput + Debug + HasClientPerfMonitor,

fn is_interesting<EM, OT>(
    &mut self,
    _state: &mut S,
    _manager: &mut EM,
    _input: &<S as UsesInput>::Input,
    observers: &OT,
    _exit_kind: &ExitKind
) -> Result<bool, Error>where
    EM: EventFirer<State = S>,
    OT: ObserversTuple<S>,

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

fn append_metadata(
    &mut self,
    _state: &mut S,
    _testcase: &mut Testcase<<S as UsesInput>::Input>
) -> Result<(), Error>

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

fn discard_metadata(
    &mut self,
    _state: &mut S,
    _input: &<S as UsesInput>::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<S> Named for ConcolicFeedback<S>

fn name(&self) -> &str

Provide the name of this element.