Struct libafl::feedbacks::concolic::ConcolicFeedback [−][src]
pub struct ConcolicFeedback { /* fields omitted */ }
Expand description
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
Trait Implementations
fn is_interesting<EM, OT>(
&mut self,
_state: &mut S,
_manager: &mut EM,
_input: &I,
observers: &OT,
_exit_kind: &ExitKind
) -> Result<bool, Error> where
EM: EventFirer<I, S>,
OT: ObserversTuple<I, S>,
fn is_interesting<EM, OT>(
&mut self,
_state: &mut S,
_manager: &mut EM,
_input: &I,
observers: &OT,
_exit_kind: &ExitKind
) -> Result<bool, Error> where
EM: EventFirer<I, S>,
OT: ObserversTuple<I, S>,
is_interesting
return if an input is worth the addition to the corpus
Append to the testcase the generated metadata in case of a new corpus item
Auto Trait Implementations
impl RefUnwindSafe for ConcolicFeedback
impl Send for ConcolicFeedback
impl Sync for ConcolicFeedback
impl Unpin for ConcolicFeedback
impl UnwindSafe for ConcolicFeedback
Blanket Implementations
Mutably borrows from an owned value. Read more
type PreprendResult = Tail
type PreprendResult = Tail
The Resulting TupleList
, of an Prepend::prepend()
call,
including the prepended entry. Read more
type Output = T
type Output = T
Should always be Self