Trait libafl::observers::UsesObservers

pub trait UsesObservers: UsesState {
    type Observers: ObserversTuple<Self::State>;
}

Defines the observer type shared across traits of the type. Needed for consistency across HasCorpus/HasSolutions and friends.

Required Associated Types

type Observers: ObserversTuple<Self::State>

The observers type

Object Safety

This trait is not object safe.

Implementors

impl<'a, H, HT, OT, S, SP, EM, Z> UsesObservers for GenericInProcessForkExecutor<'a, H, HT, OT, S, SP, EM, Z>

where H: FnMut(&S::Input) -> ExitKind + ?Sized, HT: ExecutorHooksTuple<S>, OT: ObserversTuple<S>, S: State, SP: ShMemProvider, EM: UsesState<State = S>, Z: UsesState<State = S>,

type Observers = OT

impl<'a, H, HT, OT, S, SP, ES, EM, Z> UsesObservers for StatefulGenericInProcessForkExecutor<'a, H, HT, OT, S, SP, ES, EM, Z>

where H: FnMut(&S::Input, &mut ES) -> ExitKind + ?Sized, HT: ExecutorHooksTuple<S>, OT: ObserversTuple<S>, S: State, SP: ShMemProvider, EM: UsesState<State = S>, Z: UsesState<State = S>,

type Observers = OT

impl<A, B> UsesObservers for CombinedExecutor<A, B>

where A: UsesObservers,

type Observers = <A as UsesObservers>::Observers

impl<A, B, DOT, OTA, OTB> UsesObservers for DiffExecutor<A, B, DOT, OTA, OTB>

where A: HasObservers<Observers = OTA>, B: HasObservers<Observers = OTB, State = A::State>, OTA: ObserversTuple<A::State>, OTB: ObserversTuple<A::State>, DOT: DifferentialObserversTuple<OTA, OTB, A::State>,

type Observers = ProxyObserversTuple<OTA, OTB, DOT>

impl<E, OT> UsesObservers for WithObservers<E, OT>

where E: UsesState, OT: ObserversTuple<E::State>,

type Observers = OT

impl<E, SOT> UsesObservers for ShadowExecutor<E, SOT>

where E: UsesObservers,

type Observers = <E as UsesObservers>::Observers

impl<H, HB, HT, OT, S> UsesObservers for GenericInProcessExecutor<H, HB, HT, OT, S>

where H: FnMut(&S::Input) -> ExitKind + ?Sized, HB: BorrowMut<H>, HT: ExecutorHooksTuple<S>, OT: ObserversTuple<S>, S: State,

type Observers = OT

impl<H, HB, HT, OT, S, ES> UsesObservers for StatefulGenericInProcessExecutor<H, HB, HT, OT, S, ES>

where H: FnMut(&S::Input, &mut ES) -> ExitKind + ?Sized, HB: BorrowMut<H>, HT: ExecutorHooksTuple<S>, OT: ObserversTuple<S>, S: State,

type Observers = OT

impl<HT, OT, S> UsesObservers for GenericInProcessExecutorInner<HT, OT, S>

where HT: ExecutorHooksTuple<S>, OT: ObserversTuple<S>, S: State,

type Observers = OT

impl<HT, OT, S, SP, EM, Z> UsesObservers for GenericInProcessForkExecutorInner<HT, OT, S, SP, EM, Z>

where HT: ExecutorHooksTuple<S>, OT: ObserversTuple<S>, S: State, SP: ShMemProvider, EM: UsesState<State = S>, Z: UsesState<State = S>,

type Observers = OT

impl<OT, S, SP> UsesObservers for ForkserverExecutor<OT, S, SP>

where OT: ObserversTuple<S>, S: State, SP: ShMemProvider,

type Observers = OT

impl<OT, S, T> UsesObservers for CommandExecutor<OT, S, T>

where OT: ObserversTuple<S>, S: State,

type Observers = OT