soot.dexpler

Class DexBody

java.lang.Object

soot.dexpler.DexBody

public class DexBody
extends java.lang.Object

A DexBody contains the code of a DexMethod and is used as a wrapper around JimpleBody in the jimplification process.

Author:

Michael Markert, Frank Hartmann

Constructor Summary

Constructors

Constructor and Description
DexBody(DexFile dexFile, Method method, RefType declaringClassType)

Method Summary

Methods

Modifier and Type	Method and Description
void	add(Unit u) Add unit to this body.
void	addDeferredJimplification(DeferableInstruction i) Add a deferred instruction to this body.
void	addRetype(RetypeableInstruction i) Add a retypeable instruction to this body.
Local	generateLocal(Type t) Generate a new local variable.
Body	getBody() Return the associated JimpleBody.
protected CopyPropagator	getCopyPopagator()
protected LocalSplitter	getLocalSplitter()
Local	getRegisterLocal(int num) Return the Local that are associated with the number in the current register state.
Local[]	getRegisterLocals() Return the Locals that are associated with the current register state.
Local	getStoreResultLocal()
protected TrapTightener	getTrapTightener()
protected UnreachableCodeEliminator	getUnreachableCodeEliminator()
DexlibAbstractInstruction	instructionAtAddress(int address) Return the instruction that is present at the byte code address.
java.util.List<DexlibAbstractInstruction>	instructionsAfter(DexlibAbstractInstruction instruction) Return the instructions that appear (lexically) after the given instruction.
java.util.List<DexlibAbstractInstruction>	instructionsBefore(DexlibAbstractInstruction instruction) Return the instructions that appear (lexically) before the given instruction.
Body	jimplify(Body b, SootMethod m) Return the jimple equivalent of this body.
void	setDanglingInstruction(DanglingInstruction i) Set a dangling instruction for this body.
java.util.Set<Type>	usedTypes() Return the types that are used in this body.

Methods inherited from class java.lang.Object

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

Constructor Detail

DexBody

public DexBody(DexFile dexFile,
       Method method,
       RefType declaringClassType)

Parameters:

code - the codeitem that is contained in this body

method - the method that is associated with this body

Method Detail

usedTypes

public java.util.Set<Type> usedTypes()

Return the types that are used in this body.

add

public void add(Unit u)

Add unit to this body.

Parameters:

u - Unit to add.

addDeferredJimplification

public void addDeferredJimplification(DeferableInstruction i)

Add a deferred instruction to this body.

Parameters:

i - the deferred instruction.

addRetype

public void addRetype(RetypeableInstruction i)

Add a retypeable instruction to this body.

Parameters:

i - the retypeable instruction.

generateLocal

public Local generateLocal(Type t)

Generate a new local variable.

Parameters:

t - the type of the new variable.

Returns:

the generated local.

getBody

public Body getBody()

Return the associated JimpleBody.

Throws:

java.lang.RuntimeException - if no jimplification happened yet.

getRegisterLocals

public Local[] getRegisterLocals()

Return the Locals that are associated with the current register state.

getRegisterLocal

public Local getRegisterLocal(int num)
                       throws InvalidDalvikBytecodeException

Return the Local that are associated with the number in the current register state. Handles if the register number actually points to a method parameter.

Parameters:

num - the register number

Throws:

InvalidDalvikBytecodeException

getStoreResultLocal

public Local getStoreResultLocal()

instructionAtAddress

public DexlibAbstractInstruction instructionAtAddress(int address)

Return the instruction that is present at the byte code address.

Parameters:

address - the byte code address.

Throws:

java.lang.RuntimeException - if address is not part of this body.

jimplify

public Body jimplify(Body b,
            SootMethod m)

Return the jimple equivalent of this body.

Parameters:

m - the SootMethod that contains this body

getLocalSplitter

protected LocalSplitter getLocalSplitter()

getTrapTightener

protected TrapTightener getTrapTightener()

getUnreachableCodeEliminator

protected UnreachableCodeEliminator getUnreachableCodeEliminator()

getCopyPopagator

protected CopyPropagator getCopyPopagator()

setDanglingInstruction

public void setDanglingInstruction(DanglingInstruction i)

Set a dangling instruction for this body.

instructionsAfter

public java.util.List<DexlibAbstractInstruction> instructionsAfter(DexlibAbstractInstruction instruction)

Return the instructions that appear (lexically) after the given instruction.

Parameters:

instruction - the instruction which successors will be returned.

instructionsBefore

public java.util.List<DexlibAbstractInstruction> instructionsBefore(DexlibAbstractInstruction instruction)

Return the instructions that appear (lexically) before the given instruction. The instruction immediately before the given is the first instruction and so on.

Parameters:

instruction - the instruction which successors will be returned.