Class DexSSABuilder

  • All Implemented Interfaces:
    FixedPointConstants

    public class DexSSABuilder
    extends AbstractIntRegisterMachine
    This class constructs an SSA IR from a backing ShrikeBT instruction stream. The basic algorithm here is an abstract interpretation over the Java bytecode to determine types of stack locations and local variables. As a side effect, the flow functions of the abstract interpretation emit instructions, eliminating the stack abstraction and moving to a register-transfer language in SSA form.