Module yaxpeax_core::data [−][src]
Modules
Enums
Traits
AliasInfo provides a description of aliasing rules for a given instruction set’s Locations.
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.