Trait yaxpeax_core::data::ValueLocations

pub trait ValueLocations: Arch {
    type Location: Debug + Hash + Eq + Serialize + for<'de> Deserialize<'de> + Clone + AliasInfo;
    fn decompose(
        op: &Self::Instruction
    ) -> Vec<(Option<Self::Location>, Direction)>;
}

ValueLocations allows decomposition of an instruction into a series of locations and an indication of them being read or written. this defines the data flow relation between instructions and all locations in programs.

NOTE: ValueLocations is deprecated in favor of LocIterator.

implementation guidance: for correctness, decompose must express the most conservative locations. as an example, x86_64 “push” should not be defined to use a stack-specific location

• ValueLocations::decompose should simply specify memory access, and allow a Disambiguator with appropriate assumptions to refine the memory access into something appropriate for analysis.

Associated Types

type Location: Debug + Hash + Eq + Serialize + for<'de> Deserialize<'de> + Clone + AliasInfo

Required methods

fn decompose(op: &Self::Instruction) -> Vec<(Option<Self::Location>, Direction)>

Implementations on Foreign Types

impl ValueLocations for ARMv7

type Location = Location

fn decompose(
    _instr: &Self::Instruction
) -> Vec<(Option<Self::Location>, Direction)>

impl ValueLocations for ARMv8

type Location = Location

fn decompose(
    _instr: &Self::Instruction
) -> Vec<(Option<Self::Location>, Direction)>

impl ValueLocations for PIC17

type Location = Dependence

fn decompose(
    instr: &Self::Instruction
) -> Vec<(Option<Self::Location>, Direction)>

impl ValueLocations for MSP430

type Location = Location

fn decompose(
    instr: &Self::Instruction
) -> Vec<(Option<Self::Location>, Direction)>

impl ValueLocations for x86_64

type Location = Location

fn decompose(
    instr: &Self::Instruction
) -> Vec<(Option<Self::Location>, Direction)>

Implementors