Module yaxpeax_core::data [−][src]
Modules
Enums
Traits
AliasInfo
provides a description of aliasing rules for a given instruction set’s Location
s.
Disambiguator is used with LocIterator
to allow customizable refinement of locations in an
instruction. While in most architectures, registers are unambiguous, memory locations are often
much more complex. Disambiguation must be flexible because the actual scheme may vary program
to program, compiler to compiler, and binary to binary, all for the same architecture.
LocationAliasDescriptions
is the rules describing how all locations in some data-flow graph
may overlap. it is a logical error for, as an example, for a LocationAliasDescriptions
to be
used on a graph including locations from a Disambiguator::disambiguate
that are not in
Self
.
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.