Class AbstractIntRegisterMachine.BasicRegisterFlowProvider

java.lang.Object

com.ibm.wala.dalvik.ssa.AbstractIntRegisterMachine.BasicRegisterFlowProvider

All Implemented Interfaces:

DexConstants, AbstractIntRegisterMachine.FlowProvider

Enclosing class:

AbstractIntRegisterMachine

protected abstract static class AbstractIntRegisterMachine.BasicRegisterFlowProvider
extends Object
implements AbstractIntRegisterMachine.FlowProvider, DexConstants

This gives some basic facilities for shoving things around on the stack. Client analyses should subclass this as needed.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
protected static class	AbstractIntRegisterMachine.BasicRegisterFlowProvider.BasicRegisterMachineVisitor	Update the machine state to account for an instruction

Field Summary

Fields

Modifier and Type	Field	Description
protected AbstractIntRegisterMachine.MachineState	workingState

Fields inherited from interface DexConstants

ACC_ABSTRACT, ACC_ANNOTATION, ACC_BRIDGE, ACC_CONSTRUCTOR, ACC_DECLARED_SYNCHRONIZED, ACC_ENUM, ACC_FINAL, ACC_INTERFACE, ACC_NATIVE, ACC_private, ACC_PRIVATE, ACC_PROTECTED, ACC_STATIC, ACC_STRICT, ACC_SYNCHRONIZED, ACC_SYNTHETIC, ACC_TRANSIENT, ACC_UNUSED, ACC_VARARGS, ACC_VOLATILE, VALUE_ANNOTATION, VALUE_ARRAY, VALUE_BOOLEAN, VALUE_BYTE, VALUE_CHAR, VALUE_DOUBLE, VALUE_ENUM, VALUE_FIELD, VALUE_FLOAT, VALUE_INT, VALUE_LONG, VALUE_METHOD, VALUE_NULL, VALUE_SHORT, VALUE_STRING, VALUE_TYPE

Modifier and Type	Field	Description
static final int	ACC_ABSTRACT
static final int	ACC_ANNOTATION
static final int	ACC_BRIDGE
static final int	ACC_CONSTRUCTOR
static final int	ACC_DECLARED_SYNCHRONIZED
static final int	ACC_ENUM
static final int	ACC_FINAL
static final int	ACC_INTERFACE
static final int	ACC_NATIVE
static final int	ACC_private
static final int	ACC_PRIVATE
static final int	ACC_PROTECTED
static final int	ACC_STATIC
static final int	ACC_STRICT
static final int	ACC_SYNCHRONIZED
static final int	ACC_SYNTHETIC
static final int	ACC_TRANSIENT
static final int	ACC_UNUSED
static final int	ACC_VARARGS
static final int	ACC_VOLATILE
static final int	VALUE_ANNOTATION
static final int	VALUE_ARRAY
static final int	VALUE_BOOLEAN
static final int	VALUE_BYTE
static final int	VALUE_CHAR
static final int	VALUE_DOUBLE
static final int	VALUE_ENUM
static final int	VALUE_FIELD
static final int	VALUE_FLOAT
static final int	VALUE_INT
static final int	VALUE_LONG
static final int	VALUE_METHOD
static final int	VALUE_NULL
static final int	VALUE_SHORT
static final int	VALUE_STRING
static final int	VALUE_TYPE

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	BasicRegisterFlowProvider(DexCFG cfg)	Only subclasses can instantiate

Method Summary

Modifier and Type	Method	Description
AbstractIntRegisterMachine.MachineState	flow(AbstractIntRegisterMachine.MachineState entry, DexCFG.BasicBlock basicBlock)	Compute the MachineState at the exit of a basic block, given a MachineState at the block's entry.
AbstractIntRegisterMachine.MachineState	flow(AbstractIntRegisterMachine.MachineState entry, DexCFG.BasicBlock from, DexCFG.BasicBlock to)	Compute the MachineState at the end of an edge, given a MachineState at the edges's entry.
protected DexCFG.BasicBlock	getCurrentBlock()
protected int	getCurrentInstructionIndex()
protected int	getCurrentProgramCounter()
protected DexCFG.BasicBlock	getCurrentSuccessor()
abstract Instruction[]	getInstructions()
protected void	init(AbstractIntRegisterMachine.BasicRegisterFlowProvider.BasicRegisterMachineVisitor v, Instruction.Visitor ev)	Initialize the visitors used to perform the flow functions
boolean	needsEdgeFlow()
boolean	needsNodeFlow()

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

workingState

protected AbstractIntRegisterMachine.MachineState workingState

Constructor Details

BasicRegisterFlowProvider

protected BasicRegisterFlowProvider(DexCFG cfg)

Only subclasses can instantiate

Method Details

init

protected void init(AbstractIntRegisterMachine.BasicRegisterFlowProvider.BasicRegisterMachineVisitor v,
 Instruction.Visitor ev)

Initialize the visitors used to perform the flow functions

needsNodeFlow

public boolean needsNodeFlow()

Specified by:

needsNodeFlow in interface AbstractIntRegisterMachine.FlowProvider

needsEdgeFlow

public boolean needsEdgeFlow()

Specified by:

needsEdgeFlow in interface AbstractIntRegisterMachine.FlowProvider

flow

public AbstractIntRegisterMachine.MachineState flow(AbstractIntRegisterMachine.MachineState entry,
 DexCFG.BasicBlock basicBlock)

Description copied from interface: AbstractIntRegisterMachine.FlowProvider

Compute the MachineState at the exit of a basic block, given a MachineState at the block's entry.

Specified by:

flow in interface AbstractIntRegisterMachine.FlowProvider

flow

public AbstractIntRegisterMachine.MachineState flow(AbstractIntRegisterMachine.MachineState entry,
 DexCFG.BasicBlock from,
 DexCFG.BasicBlock to)

Description copied from interface: AbstractIntRegisterMachine.FlowProvider

Compute the MachineState at the end of an edge, given a MachineState at the edges's entry.

Specified by:

flow in interface AbstractIntRegisterMachine.FlowProvider

getCurrentInstructionIndex

protected int getCurrentInstructionIndex()

getCurrentProgramCounter

protected int getCurrentProgramCounter()

getCurrentBlock

protected DexCFG.BasicBlock getCurrentBlock()

getCurrentSuccessor

protected DexCFG.BasicBlock getCurrentSuccessor()

getInstructions

public abstract Instruction[] getInstructions()