Module yaxpeax_core::analyses [−][src]
Modules
Structs
Enums
a very literal construction of Value operations into an expression tree. if Leaf is only
concrete values, this is suitable for computation. if Leaf can be abstract variables, this is
becomes a symbolic expression tree. realistically these expressions are often a mix of the two;
constants from immediates and variables from the rest of the program.
Traits
interface to query a data flow graph (dfg). this interface is …. in flux.
it’s relatively common to want to query a dfg at one address, for multiple values/read-write
accesses. DFGLocationQuery is essentially a helper to curry a specific address for future
queries.