Struct libafl::stages::concolic::ConcolicTracingStage[−][src]

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

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

Performs the conversion.

Performs the conversion.

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

Should always be Self

The resulting type after obtaining ownership.

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

🔬 This is a nightly-only experimental API. (toowned_clone_into)

recently added

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[−][src]

Implementations

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

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

Trait Implementations

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

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

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

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

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

impl<E, C, EM, I, OT, S, TE, Z> Stage<E, EM, S, Z> for ConcolicTracingStage<C, EM, I, OT, S, TE, Z> where I: Input, C: Corpus<I>, TE: Executor<EM, I, S, Z> + HasObservers<I, OT, S>, OT: ObserversTuple<I, S>, S: HasClientPerfStats + HasExecutions + HasCorpus<C, 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<C, EM, I, OT, S, TE, Z> RefUnwindSafe for ConcolicTracingStage<C, EM, I, OT, S, TE, Z> where C: RefUnwindSafe, EM: RefUnwindSafe, I: RefUnwindSafe, OT: RefUnwindSafe, S: RefUnwindSafe, TE: RefUnwindSafe, Z: RefUnwindSafe,

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

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

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

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

Blanket Implementations

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

pub fn type_id(&self) -> TypeId

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

pub fn borrow(&self) -> &T

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

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

impl<T> From<T> for T

pub fn from(t: T) -> T

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

pub fn into(self) -> U

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

type PreprendResult = Tail

pub fn prepend(Self, T) -> (T, <Tail as Prepend<T>>::PreprendResult)

impl<T> Same<T> for T

type Output = T

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

type Owned = T

pub fn to_owned(&self) -> T

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

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

type Error = Infallible

pub 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

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

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

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

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

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

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

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

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

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

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

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

impl<C, EM, I, OT, S, TE, Z> UnwindSafe for ConcolicTracingStage<C, EM, I, OT, S, TE, Z> where
C: UnwindSafe,
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>,

pub fn prepend(Self, T) -> (T, <Tail as Prepend<T>>::PreprendResult )

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>,