Struct libafl::observers::concolic::ConcolicObserver

pub struct ConcolicObserver<'map> { /* private fields */ }

A standard ConcolicObserver observer, observing constraints written into a memory buffer.

Implementations

impl<'map> ConcolicObserver<'map>

pub fn create_metadata_from_current_map(&self) -> ConcolicMetadata

Create the concolic observer metadata for this run

impl<'map> ConcolicObserver<'map>

pub fn new(name: String, map: &'map [u8]) -> Self

Creates a new ConcolicObserver with the given name and memory buffer.

Trait Implementations

impl<'map> Debug for ConcolicObserver<'map>

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

Formats the value using the given formatter.

impl<'de, 'map> Deserialize<'de> for ConcolicObserver<'map>

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
    __D: Deserializer<'de>, 

Deserialize this value from the given Serde deserializer.

impl<'map> Named for ConcolicObserver<'map>

fn name(&self) -> &str

Provide the name of this element.

impl<'map, I, S> Observer<I, S> for ConcolicObserver<'map>

fn flush(&mut self) -> Result<(), Error>

The testcase finished execution, calculate any changes. Reserved for future use.

fn pre_exec(&mut self, _state: &mut S, _input: &I) -> Result<(), Error>

Called right before execution starts.

fn post_exec(
    &mut self,
    _state: &mut S,
    _input: &I,
    _exit_kind: &ExitKind
) -> Result<(), Error>

Called right after execution finishes.

fn pre_exec_child(&mut self, _state: &mut S, _input: &I) -> Result<(), Error>

Called right before execution starts in the child process, if any.

fn post_exec_child(
    &mut self,
    _state: &mut S,
    _input: &I,
    _exit_kind: &ExitKind
) -> Result<(), Error>

Called right after execution finishes in the child process, if any.

impl<'map> Serialize for ConcolicObserver<'map>

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error> where
    __S: Serializer, 

Serialize this value into the given Serde serializer.