Struct isla_axiomatic::graph::GraphEvent

pub struct GraphEvent { /* fields omitted */ }

Implementations

impl GraphEvent

pub fn from_axiomatic<'a, B: BV>(
    ev: &'a AxEvent<'_, B>,
    objdump: &str,
    rw_values: &mut HashMap<String, String>
) -> Self

Create an event to display in a user-visible graph from an underlying axiomatic event. For display, we use the objdump output to find the human-readable assembly instruction, and get values read/written by memory events as an event name -> read/write description map.

Trait Implementations

impl Clone for GraphEvent

fn clone(&self) -> GraphEvent

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for GraphEvent

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for GraphEvent

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

Deserialize this value from the given Serde deserializer.

impl Serialize for GraphEvent

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

Serialize this value into the given Serde serializer.