Package com.ibm.wala.dalvik.ssa

Class AbstractIntRegisterMachine.MachineState

java.lang.Object
com.ibm.wala.util.graph.impl.NodeWithNumber
com.ibm.wala.fixpoint.AbstractVariable<AbstractIntRegisterMachine.MachineState>
com.ibm.wala.dalvik.ssa.AbstractIntRegisterMachine.MachineState
All Implemented Interfaces:
com.ibm.wala.fixpoint.IVariable<AbstractIntRegisterMachine.MachineState>, com.ibm.wala.util.graph.INodeWithNumber
Enclosing class:
AbstractIntRegisterMachine
public class AbstractIntRegisterMachine.MachineState extends com.ibm.wala.fixpoint.AbstractVariable<AbstractIntRegisterMachine.MachineState>
Representation of the state of the JVM stack machine at some program point.

  • Constructor Details

  • Method Details

    • duplicate

      public AbstractIntRegisterMachine.MachineState duplicate()
      I'm not using clone because I don't want to necessarily inherit the AbstractVariable state from the superclass

    • getBasicBlock

      public DexCFG.BasicBlock getBasicBlock()

    • allocateLocals

      public void allocateLocals()

    • setLocal

      public void setLocal(int i, int j)
      set the value of local i to symbol j

    • getLocal

      public int getLocal(int i)
      Returns:
      the number of the symbol corresponding to local i

    • replaceValue

      public void replaceValue(int from, int to)

    • hasValue

      public boolean hasValue(int val)

    • toString

      public String toString()
      Overrides:
      toString in class Object

    • copyState

      public void copyState(AbstractIntRegisterMachine.MachineState other)

    • getStackHeight

      public int getStackHeight()
      Returns the stackHeight.
      Returns:
      int

    • getLocals

      public int[] getLocals()
      Use with care.