Package soot.toDex

Class StmtVisitor

java.lang.Object

soot.toDex.StmtVisitor

All Implemented Interfaces:

StmtSwitch, Switch

public class StmtVisitor
extends Object
implements StmtSwitch

A visitor that builds a list of instructions from the Jimple statements it visits.

Use Switchable.apply(soot.util.Switch) with this visitor to add statements and #getFinalInsns() to get the final dexlib instructions.

These final instructions do have correct offsets, jump targets and register numbers.

See Also:

intermediate representation of an instruction, final representation of an instruction

Field Summary

Fields

Modifier and Type	Field	Description
protected ConstantVisitor	constantV
protected ExprVisitor	exprV
protected RegisterAllocator	regAlloc

Constructor Summary

Constructors

Constructor	Description
StmtVisitor(SootMethod belongingMethod, DexArrayInitDetector arrayInitDetector)

Method Summary

Modifier and Type	Method	Description
void	addInsn(Insn insn, Stmt s)
protected void	beginNewStmt(Stmt s)
static Insn	buildMoveInsn(Register destinationReg, Register sourceReg)
void	caseAssignStmt(AssignStmt stmt)
void	caseBreakpointStmt(BreakpointStmt stmt)
void	caseEnterMonitorStmt(EnterMonitorStmt stmt)
void	caseExitMonitorStmt(ExitMonitorStmt stmt)
void	caseGotoStmt(GotoStmt stmt)
void	caseIdentityStmt(IdentityStmt stmt)
void	caseIfStmt(IfStmt stmt)
void	caseInvokeStmt(InvokeStmt stmt)
void	caseLookupSwitchStmt(LookupSwitchStmt stmt)
void	caseNopStmt(NopStmt stmt)
void	caseRetStmt(RetStmt stmt)
void	caseReturnStmt(ReturnStmt stmt)
void	caseReturnVoidStmt(ReturnVoidStmt stmt)
void	caseTableSwitchStmt(TableSwitchStmt stmt)
void	caseThrowStmt(ThrowStmt stmt)
void	defaultCase(Object o)
void	fakeNewInsn(Stmt s, Insn insn, org.jf.dexlib2.iface.instruction.Instruction instruction)
void	finalizeInstructions(Set<Unit> trapReferences)
protected SootClass	getBelongingClass()
Insn	getInsnForInstruction(org.jf.dexlib2.iface.instruction.Instruction instruction)
int	getInstructionCount()
Map<org.jf.dexlib2.iface.instruction.Instruction,AbstractPayload>	getInstructionPayloadMap()
Map<org.jf.dexlib2.iface.instruction.Instruction,LocalRegisterAssignmentInformation>	getInstructionRegisterMap()
List<LocalRegisterAssignmentInformation>	getParameterInstructionsList()
List<org.jf.dexlib2.builder.BuilderInstruction>	getRealInsns(LabelAssigner labelAssigner)
protected int	getRegisterCount()
Stmt	getStmtForInstruction(org.jf.dexlib2.iface.instruction.Instruction instruction)
void	preAllocateMonitorConsts(Set<ClassConstant> monitorConsts)	Pre-allocates and locks registers for the constants used in monitor expressions
protected void	setLastReturnTypeDescriptor(String typeDescriptor)

Methods inherited from class java.lang.Object

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

Field Detail

constantV

protected ConstantVisitor constantV

regAlloc

protected RegisterAllocator regAlloc

exprV

protected ExprVisitor exprV

Constructor Detail

StmtVisitor

public StmtVisitor(SootMethod belongingMethod,
                   DexArrayInitDetector arrayInitDetector)

Method Detail

setLastReturnTypeDescriptor

protected void setLastReturnTypeDescriptor(String typeDescriptor)

getBelongingClass

protected SootClass getBelongingClass()

getStmtForInstruction

public Stmt getStmtForInstruction(org.jf.dexlib2.iface.instruction.Instruction instruction)

getInsnForInstruction

public Insn getInsnForInstruction(org.jf.dexlib2.iface.instruction.Instruction instruction)

getInstructionRegisterMap

public Map<org.jf.dexlib2.iface.instruction.Instruction,LocalRegisterAssignmentInformation> getInstructionRegisterMap()

getParameterInstructionsList

public List<LocalRegisterAssignmentInformation> getParameterInstructionsList()

getInstructionPayloadMap

public Map<org.jf.dexlib2.iface.instruction.Instruction,AbstractPayload> getInstructionPayloadMap()

getInstructionCount

public int getInstructionCount()

addInsn

public void addInsn(Insn insn,
                    Stmt s)

beginNewStmt

protected void beginNewStmt(Stmt s)

finalizeInstructions

public void finalizeInstructions(Set<Unit> trapReferences)

getRealInsns

public List<org.jf.dexlib2.builder.BuilderInstruction> getRealInsns(LabelAssigner labelAssigner)

fakeNewInsn

public void fakeNewInsn(Stmt s,
                        Insn insn,
                        org.jf.dexlib2.iface.instruction.Instruction instruction)

getRegisterCount

protected int getRegisterCount()

defaultCase

public void defaultCase(Object o)

Specified by:

defaultCase in interface StmtSwitch

caseBreakpointStmt

public void caseBreakpointStmt(BreakpointStmt stmt)

Specified by:

caseBreakpointStmt in interface StmtSwitch

caseNopStmt

public void caseNopStmt(NopStmt stmt)

Specified by:

caseNopStmt in interface StmtSwitch

caseRetStmt

public void caseRetStmt(RetStmt stmt)

Specified by:

caseRetStmt in interface StmtSwitch

caseEnterMonitorStmt

public void caseEnterMonitorStmt(EnterMonitorStmt stmt)

Specified by:

caseEnterMonitorStmt in interface StmtSwitch

caseExitMonitorStmt

public void caseExitMonitorStmt(ExitMonitorStmt stmt)

Specified by:

caseExitMonitorStmt in interface StmtSwitch

caseThrowStmt

public void caseThrowStmt(ThrowStmt stmt)

Specified by:

caseThrowStmt in interface StmtSwitch

caseAssignStmt

public void caseAssignStmt(AssignStmt stmt)

Specified by:

caseAssignStmt in interface StmtSwitch

buildMoveInsn

public static Insn buildMoveInsn(Register destinationReg,
                                 Register sourceReg)

caseInvokeStmt

public void caseInvokeStmt(InvokeStmt stmt)

Specified by:

caseInvokeStmt in interface StmtSwitch

caseReturnVoidStmt

public void caseReturnVoidStmt(ReturnVoidStmt stmt)

Specified by:

caseReturnVoidStmt in interface StmtSwitch

caseReturnStmt

public void caseReturnStmt(ReturnStmt stmt)

Specified by:

caseReturnStmt in interface StmtSwitch

caseIdentityStmt

public void caseIdentityStmt(IdentityStmt stmt)

Specified by:

caseIdentityStmt in interface StmtSwitch

caseGotoStmt

public void caseGotoStmt(GotoStmt stmt)

Specified by:

caseGotoStmt in interface StmtSwitch

caseLookupSwitchStmt

public void caseLookupSwitchStmt(LookupSwitchStmt stmt)

Specified by:

caseLookupSwitchStmt in interface StmtSwitch

caseTableSwitchStmt

public void caseTableSwitchStmt(TableSwitchStmt stmt)

Specified by:

caseTableSwitchStmt in interface StmtSwitch

caseIfStmt

public void caseIfStmt(IfStmt stmt)

Specified by:

caseIfStmt in interface StmtSwitch

preAllocateMonitorConsts

public void preAllocateMonitorConsts(Set<ClassConstant> monitorConsts)

Pre-allocates and locks registers for the constants used in monitor expressions

Parameters:

monitorConsts - The set of monitor constants fow which to assign fixed registers