| Class | Description |
|---|---|
| CloneableVarTable<T> |
Base class for all environment tables that use a Expression object as the key.
|
| DynamicOutputTable | |
| DynamicRegion |
This class represents a DynamicRegion, that is, a StaticRegion that has been processed dynamically, this is done initially through uniquness transformation then later with the substitution and other transformations.
|
| DynamicTable<V> | |
| FieldRefTypeTable |
An environment table that maps FieldRefVarExpr (field expressions) to types.
|
| FirstITEStmtVisitor | |
| InputTable |
This class populates the input variables for the region, it does so by computing the first var use for every slot in case of non-method region, or computing the parameters of a method as the input table in case of a method region.
|
| OutputTable |
An Environment table that holds all slots that needs to be populated after successful symmetrization of the region.
|
| RegionBoundaryOutput | |
| RegionBoundaryVisitor |
The visitor explores the boundaries of the region by identifying: first def, last def and first use vars.
|
| RegionInputVisitor | |
| SlotParamTable |
This is the basic table, on which the input and output of the region are defined.
|
| SSAToStatDefVisitor | |
| SSAToStatIVisitor |
This visitor translates specific Wala SSAInstructions to RangerIR.
|
| StackSlotIVisitor |
This visitor fills the stack slots for wala vars.
|
| StaticTable<V> |
Base class for all environment tables.
|
| StaticTypeIVisitor |
This visitor fills types for wala vars, by using Wala Type inference.
|
| Table<K,V> | |
| ValueSymbolTable |
SH: This table contains the values for the region input and the constant wala variables.
|
| VarTypeTable |
An environment table that holds all vars to types.
|