Struct libafl::stages::concolic::ConcolicTracingStage

pub struct ConcolicTracingStage<EM, I, OT, S, TE, Z> where
    I: Input,
    TE: Executor<EM, I, S, Z> + HasObservers<I, OT, S>,
    OT: ObserversTuple<I, S>,
    S: HasClientPerfMonitor + HasExecutions + HasCorpus<I>, { /* private fields */ }

Expand description

Wraps a TracingStage to add concolic observing.

Implementations

Creates a new default tracing stage using the given Executor, observing traces from a ConcolicObserver with the given name.

Trait Implementations

Returns a copy of the value. Read more

Performs copy-assignment from source. Read more

Formats the value using the given formatter. Read more

Run the stage

Auto Trait Implementations

Blanket Implementations

Gets the TypeId of self. Read more

Immutably borrows from an owned value. Read more

Mutably borrows from an owned value. Read more

Returns the argument unchanged.

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Prepend a value to this tuple, returning a new tuple with prepended value.

The resulting type after obtaining ownership.

Creates owned data from borrowed data, usually by cloning. Read more

Uses borrowed data to replace owned data, usually by cloning. Read more

The type returned in the event of a conversion error.

Performs the conversion.

The type returned in the event of a conversion error.

Performs the conversion.

Struct libafl::stages::concolic::ConcolicTracingStage

Implementations

impl<EM, I, OT, S, TE, Z> ConcolicTracingStage<EM, I, OT, S, TE, Z> where I: Input, TE: Executor<EM, I, S, Z> + HasObservers<I, OT, S>, OT: ObserversTuple<I, S>, S: HasClientPerfMonitor + HasExecutions + HasCorpus<I>,

pub fn new( inner: TracingStage<EM, I, OT, S, TE, Z>, observer_name: String) -> Self

Trait Implementations

impl<EM: Clone, I: Clone, OT: Clone, S: Clone, TE: Clone, Z: Clone> Clone for ConcolicTracingStage<EM, I, OT, S, TE, Z> where I: Input, TE: Executor<EM, I, S, Z> + HasObservers<I, OT, S>, OT: ObserversTuple<I, S>, S: HasClientPerfMonitor + HasExecutions + HasCorpus<I>,

fn clone(&self) -> ConcolicTracingStage<EM, I, OT, S, TE, Z>

fn clone_from(&mut self, source: &Self)

impl<EM: Debug, I: Debug, OT: Debug, S: Debug, TE: Debug, Z: Debug> Debug for ConcolicTracingStage<EM, I, OT, S, TE, Z> where I: Input, TE: Executor<EM, I, S, Z> + HasObservers<I, OT, S>, OT: ObserversTuple<I, S>, S: HasClientPerfMonitor + HasExecutions + HasCorpus<I>,

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

impl<E, EM, I, OT, S, TE, Z> Stage<E, EM, S, Z> for ConcolicTracingStage<EM, I, OT, S, TE, Z> where I: Input, TE: Executor<EM, I, S, Z> + HasObservers<I, OT, S>, OT: ObserversTuple<I, S>, S: HasClientPerfMonitor + HasExecutions + HasCorpus<I>,

fn perform( &mut self, fuzzer: &mut Z, executor: &mut E, state: &mut S, manager: &mut EM, corpus_idx: usize) -> Result<(), Error>

Auto Trait Implementations

impl<EM, I, OT, S, TE, Z> RefUnwindSafe for ConcolicTracingStage<EM, I, OT, S, TE, Z> where EM: RefUnwindSafe, I: RefUnwindSafe, OT: RefUnwindSafe, S: RefUnwindSafe, TE: RefUnwindSafe, Z: RefUnwindSafe,

impl<EM, I, OT, S, TE, Z> Send for ConcolicTracingStage<EM, I, OT, S, TE, Z> where EM: Send, I: Send, OT: Send, S: Send, TE: Send, Z: Send,

impl<EM, I, OT, S, TE, Z> Sync for ConcolicTracingStage<EM, I, OT, S, TE, Z> where EM: Sync, I: Sync, OT: Sync, S: Sync, TE: Sync, Z: Sync,

impl<EM, I, OT, S, TE, Z> Unpin for ConcolicTracingStage<EM, I, OT, S, TE, Z> where EM: Unpin, I: Unpin, OT: Unpin, S: Unpin, TE: Unpin, Z: Unpin,

impl<EM, I, OT, S, TE, Z> UnwindSafe for ConcolicTracingStage<EM, I, OT, S, TE, Z> where EM: UnwindSafe, I: UnwindSafe, OT: UnwindSafe, S: UnwindSafe, TE: UnwindSafe, Z: UnwindSafe,

Blanket Implementations

impl<T> Any for T where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for T where T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for T where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for T where U: From<T>,

fn into(self) -> U

impl<Tail, T> Prepend<T> for Tail

type PreprendResult = Tail

fn prepend(self, value: T) -> (T, <Tail as Prepend<T>>::PreprendResult)

impl<T> ToOwned for T where T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for T where U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for T where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<EM, I, OT, S, TE, Z> ConcolicTracingStage<EM, I, OT, S, TE, Z> where
I: Input,
TE: Executor<EM, I, S, Z> + HasObservers<I, OT, S>,
OT: ObserversTuple<I, S>,
S: HasClientPerfMonitor + HasExecutions + HasCorpus<I>,

pub fn new(
inner: TracingStage<EM, I, OT, S, TE, Z>,
observer_name: String
) -> Self

impl<EM: Clone, I: Clone, OT: Clone, S: Clone, TE: Clone, Z: Clone> Clone for ConcolicTracingStage<EM, I, OT, S, TE, Z> where
I: Input,
TE: Executor<EM, I, S, Z> + HasObservers<I, OT, S>,
OT: ObserversTuple<I, S>,
S: HasClientPerfMonitor + HasExecutions + HasCorpus<I>,

impl<EM: Debug, I: Debug, OT: Debug, S: Debug, TE: Debug, Z: Debug> Debug for ConcolicTracingStage<EM, I, OT, S, TE, Z> where
I: Input,
TE: Executor<EM, I, S, Z> + HasObservers<I, OT, S>,
OT: ObserversTuple<I, S>,
S: HasClientPerfMonitor + HasExecutions + HasCorpus<I>,

impl<E, EM, I, OT, S, TE, Z> Stage<E, EM, S, Z> for ConcolicTracingStage<EM, I, OT, S, TE, Z> where
I: Input,
TE: Executor<EM, I, S, Z> + HasObservers<I, OT, S>,
OT: ObserversTuple<I, S>,
S: HasClientPerfMonitor + HasExecutions + HasCorpus<I>,

fn perform(
&mut self,
fuzzer: &mut Z,
executor: &mut E,
state: &mut S,
manager: &mut EM,
corpus_idx: usize
) -> Result<(), Error>

impl<EM, I, OT, S, TE, Z> RefUnwindSafe for ConcolicTracingStage<EM, I, OT, S, TE, Z> where
EM: RefUnwindSafe,
I: RefUnwindSafe,
OT: RefUnwindSafe,
S: RefUnwindSafe,
TE: RefUnwindSafe,
Z: RefUnwindSafe,

impl<EM, I, OT, S, TE, Z> Send for ConcolicTracingStage<EM, I, OT, S, TE, Z> where
EM: Send,
I: Send,
OT: Send,
S: Send,
TE: Send,
Z: Send,

impl<EM, I, OT, S, TE, Z> Sync for ConcolicTracingStage<EM, I, OT, S, TE, Z> where
EM: Sync,
I: Sync,
OT: Sync,
S: Sync,
TE: Sync,
Z: Sync,

impl<EM, I, OT, S, TE, Z> Unpin for ConcolicTracingStage<EM, I, OT, S, TE, Z> where
EM: Unpin,
I: Unpin,
OT: Unpin,
S: Unpin,
TE: Unpin,
Z: Unpin,

impl<EM, I, OT, S, TE, Z> UnwindSafe for ConcolicTracingStage<EM, I, OT, S, TE, Z> where
EM: UnwindSafe,
I: UnwindSafe,
OT: UnwindSafe,
S: UnwindSafe,
TE: UnwindSafe,
Z: UnwindSafe,

impl<T> Any for T where
T: 'static + ?Sized,

impl<T> Borrow<T> for T where
T: ?Sized,

impl<T> BorrowMut<T> for T where
T: ?Sized,

impl<T, U> Into<U> for T where
U: From<T>,

impl<T> ToOwned for T where
T: Clone,

impl<T, U> TryFrom<U> for T where
U: Into<T>,

impl<T, U> TryInto<U> for T where
U: TryFrom<T>,