Module libafl::feedbacks [−][src]
Expand description
The feedbacks reduce observer state after each run to a single is_interesting
-value.
If a testcase is interesting, it may be added to a Corpus.
Re-exports
pub use map::*;
pub use concolic::ConcolicFeedback;
Modules
Structs
A CrashFeedback
reports as interesting if the target crashed.
Compose feedbacks with an OR operation
Nop feedback that annotates execution time in the new testcase, if any
for this Feedback, the testcase is never interesting (use with an OR)
It decides, if the given TimeObserver
value of a run is interesting.
A TimeoutFeedback
reduces the timeout value of a run.
Traits
Feedbacks evaluate the observers. Basically, they reduce the information provided by an observer to a value, indicating the “interestingness” of the last run.
FeedbackState
is the data associated with a Feedback
that must persist as part
of the fuzzer State
A haskell-style tuple of feedback states
Type Definitions
Combine two feedbacks with an eager AND operation, will call all feedbacks functions even if not necessery to conclude the result
Combine two feedbacks with an eager OR operation, will call all feedbacks functions even if not necessery to conclude the result
Combine two feedbacks with an fast AND operation, might skip calling feedbacks functions if not necessery to conclude the result
Combine two feedbacks with an fast OR operation,
might skip calling feedbacks functions if not necessery to conclude the result
This means any feedback that is not first might be skipped, use caution when using with
TimeFeedback