Package com.tonic.analysis.ssa.lift

Lifting bytecode into SSA form, including phi insertion and renaming.

Class Summary

Class	Description
AbstractState	The simulated operand stack and local slots at one point of bytecode lifting.
BytecodeLifter	Lifts bytecode to SSA-form IR.
InstructionTranslator	Translator from JVM bytecode instructions to IR instructions during lifting.
PhiInserter	Phi insertion at dominance frontiers via the Cytron algorithm, yielding minimal SSA form.
VariableRenamer	Renames variables to complete SSA conversion by walking the dominator tree.