Struct isla_axiomatic::axiomatic::AxEvent[−][src]

pub struct AxEvent<'a, B> {
    pub opcode: B,
    pub po: usize,
    pub intra_instruction_order: usize,
    pub thread_id: ThreadId,
    pub name: String,
    pub base: &'a Event<B>,
    pub is_ifetch: bool,
}

An AxEvent (axiomatic event) is an event combined with metadata about where and when it was executed in a candidate execution. This can be combined with the footprint analysis to determine various dependency orders on events.

Fields

opcode: B

The opcode for the instruction that contained the underlying event

po: usize

The place of the event in po-order for it’s thread

intra_instruction_order: usize

If a single instruction contains multiple events, this will order them

thread_id: ThreadId

The thread id for the event

name: String

A generated unique name for the event

base: &'a Event<B>

The underlying event in the SMT trace

is_ifetch: bool

Is the event an instruction fetch (i.e. base is ReadMem with an ifetch read_kind)

Implementations

impl<'a, B: BV> AxEvent<'a, B>[src]

pub fn address(&self) -> Option<&'a Val<B>>[src]

pub fn read_value(&self) -> Option<(&'a Val<B>, u32)>[src]

pub fn write_data(&self) -> Option<(&'a Val<B>, u32)>[src]

Trait Implementations

impl<'a, B: Debug> Debug for AxEvent<'a, B>[src]

Auto Trait Implementations

impl<'a, B> RefUnwindSafe for AxEvent<'a, B> where
    B: RefUnwindSafe, 

impl<'a, B> Send for AxEvent<'a, B> where
    B: Send + Sync, 

impl<'a, B> Sync for AxEvent<'a, B> where
    B: Sync, 

impl<'a, B> Unpin for AxEvent<'a, B> where
    B: Unpin, 

impl<'a, B> UnwindSafe for AxEvent<'a, B> where
    B: RefUnwindSafe + UnwindSafe, 

Blanket Implementations

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

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, [src]

impl<T> Same<T> for T

type Output = T

Should always be Self

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

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

The type returned in the event of a conversion error.