Trait yaxpeax_core::analyses::memory_layout::Underlying

pub trait Underlying {
    type Arch: Arch + SSAValues;
    fn underlying(&self) -> Option<DFGRef<Self::Arch>>;
    fn expression(&self) -> Option<Rc<Item<ValueOrImmediate<Self::Arch>>>>
    where
        <<Self as Underlying>::Arch as SSAValues>::Data: Eq + Display;
}

allow Self to have simple aliases for other values of the same type. for example, an x86_64 Data can be Data::Alias(DFGRef<x86_64>). for all purposes other than display reasoning, these values should be operated on as if they were the underlying aliased location.

Associated Types

type Arch: Arch + SSAValues

Required methods

fn underlying(&self) -> Option<DFGRef<Self::Arch>>

fn expression(&self) -> Option<Rc<Item<ValueOrImmediate<Self::Arch>>>> where
    <<Self as Underlying>::Arch as SSAValues>::Data: Eq + Display, 

Implementors

impl Underlying for Data

type Arch = x86_64