decompiler
1.0.0
|
Utilities for building Static Single Assignment (SSA) form. More...
#include "block.hh"
Classes | |
struct | SizePass |
Label for describing extent of address range that has been heritaged. More... | |
class | LocationMap |
Map object for keeping track of which address ranges have been heritaged. More... | |
class | PriorityQueue |
Priority queue for the phi-node (MULTIEQUAL) placement algorithm. More... | |
class | HeritageInfo |
Information about heritage passes performed for a specific address space. More... | |
class | Heritage |
Manage the construction of Static Single Assignment (SSA) form. More... | |
Typedefs | |
typedef map< Address, vector< Varnode * > > | VariableStack |
Utilities for building Static Single Assignment (SSA) form.
typedef map<Address,vector<Varnode *> > VariableStack |
Container holding the stack system for the renaming algorithm. Every disjoint address range (indexed by its initial address) maps to its own Varnode stack.