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 concolic::ConcolicFeedback;
pub use differential::DiffFeedback;
pub use new_hash_feedback::NewHashFeedback;
pub use new_hash_feedback::NewHashFeedbackMetadata;
pub use bool::BoolValueFeedback;
pub use capture_feedback::CaptureTimeoutFeedback;
pub use value_bloom::ValueBloomFeedback;
pub use list::*;
pub use map::*;
pub use nautilus::*;
Modules§
- bool
- The
BoolValueFeedback
is aFeedback
returningtrue
orfalse
as theis_interesting
value. - capture_
feedback - Feedback that captures Timeouts for re-running
- concolic
- Concolic feedback for concolic fuzzing.
- custom_
filename - The module for
CustomFilenameToTestcaseFeedback
- differential
- Diff Feedback, comparing the content of two observers of the same type.
- list
- The module for list feedback
- map
- Map feedback, maximizing or minimizing maps, for example the afl-style map observer.
- nautilus
- Nautilus grammar mutator, see https://github.com/nautilus-fuzz/nautilus
- new_
hash_ feedback - The
NewHashFeedback
uses the backtrace hash and a hashset to only keep novel cases - simd
- SIMD accelerated map feedback with stable Rust.
- stdio
- Feedback and metatadata for stderr and stdout.
- transferred
- Feedbacks and associated metadata for detecting whether a given testcase was transferred from another node.
- value_
bloom - The
ValueBloomFeedback
checks if a value has already been observed in aBloomFilter
and returnstrue
if the value is new, adding it to the bloom filter.
Structs§
- Combined
Feedback - A combined feedback consisting of multiple
Feedback
s - Crash
Logic - Logic which finds all
ExitKind::Crash
exits interesting - Exit
Kind Feedback - A generic exit type checking feedback. Use
CrashFeedback
,TimeoutFeedback
, orDiffExitKindFeedback
directly instead. - Generic
Diff Logic - Logic which finds all
ExitKind::Diff
exits interesting - Logic
Eager And - Eager
AND
combination of two feedbacks - Logic
Eager Or - Eager
OR
combination of two feedbacks - Logic
Fast And - Fast
AND
combination of two feedbacks - Logic
Fast Or - Fast
OR
combination of two feedbacks - NotFeedback
- Compose feedbacks with an
NOT
operation - Time
Feedback - A
Feedback
to track execution time. - Timeout
Logic - Logic which finds all
ExitKind::Timeout
exits interesting
Enums§
- Const
Feedback - The
ConstFeedback
reports the same value, always. It can be used to enable or disable feedback results through composition.
Constants§
- CRASH_
FEEDBACK_ NAME - Name used by
CrashFeedback
- TIMEOUT_
FEEDBACK_ NAME - Name used by
TimeoutFeedback
Traits§
- Exit
Kind Logic - Logic for measuring whether a given
ExitKind
is interesting as aFeedback
. Use withExitKindFeedback
. - Feedback
- Feedbacks evaluate the observers. Basically, they reduce the information provided by an observer to a value, indicating the “interestingness” of the last run.
- Feedback
Factory - Factory for feedbacks which should be sensitive to an existing context, e.g. observer(s) from a specific execution
- Feedback
Logic - Logical combination of two feedbacks
- HasObserver
Handle - Has an associated observer name (mostly used to retrieve the observer with
MatchName
from anObserverTuple
) - State
Initializer - Feedback which initializes a state.
Type Aliases§
- Crash
Feedback - A
CrashFeedback
reports as interesting if the target crashed. - Diff
Exit Kind Feedback - A
DiffExitKindFeedback
checks if there is a difference in theExitKind
s in acrate::executors::DiffExecutor
. - Eager
AndFeedback - Combine two feedbacks with an eager AND operation, will call all feedbacks functions even if not necessary to conclude the result
- Eager
OrFeedback - Combine two feedbacks with an eager OR operation, will call all feedbacks functions even if not necessary to conclude the result
- Fast
AndFeedback - Combine two feedbacks with an fast AND operation, might skip calling feedbacks functions if not necessary to conclude the result
- Fast
OrFeedback - Combine two feedbacks with an fast OR operation - fast.
- Timeout
Feedback - A
TimeoutFeedback
reduces the timeout value of a run.