com.ibm.wala.dalvik.ipa.callgraph.androidModel.structure

Class SingleStartAndroidModel

java.lang.Object

com.ibm.wala.dalvik.ipa.callgraph.androidModel.structure.AbstractAndroidModel

com.ibm.wala.dalvik.ipa.callgraph.androidModel.structure.SingleStartAndroidModel

Direct Known Subclasses:

LoopAndroidModel

public class SingleStartAndroidModel
extends AbstractAndroidModel

Builds an Android Model incorporating a single loop. This class models a single run of an Andoird-Component: E.g. The view of an Activity gets shown only once. The incorporated loop is wrapped around user-interaction methods. These are in the section MULTIPLE_TIMES_IN_LOOP.

Author:

Tobias Blaschke <code@tobiasblaschke.de>

See Also:

LoopAndroidModel, LoopKillAndroidModel

Field Summary

Fields inherited from class com.ibm.wala.dalvik.ipa.callgraph.androidModel.structure.AbstractAndroidModel

body, entryPoints, insts, paramManager

Constructor Summary

Constructors

Constructor and Description
SingleStartAndroidModel(com.ibm.wala.ipa.summaries.VolatileMethodSummary body, com.ibm.wala.util.ssa.TypeSafeInstructionFactory insts, com.ibm.wala.util.ssa.SSAValueManager paramManager, Iterable<? extends com.ibm.wala.ipa.callgraph.Entrypoint> entryPoints)

Method Summary

Modifier and Type	Method and Description
protected int	enterEND_OF_LOOP(int PC) Loops to MULTIPLE_TIMES_IN_LOOP.
protected int	enterMULTIPLE_TIMES_IN_LOOP(int PC) Prepares the PC to get looped to.

Methods inherited from class com.ibm.wala.dalvik.ipa.callgraph.androidModel.structure.AbstractAndroidModel

enter, enterAFTER_LOOP, enterAT_FIRST, enterAT_LAST, enterBEFORE_LOOP, enterMIDDLE_OF_LOOP, enterSTART_OF_LOOP, finish, hadSectionSwitch, leaveAT_LAST, returnTypesBetween

Methods inherited from class java.lang.Object

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

Constructor Detail

SingleStartAndroidModel

public SingleStartAndroidModel(com.ibm.wala.ipa.summaries.VolatileMethodSummary body,
                               com.ibm.wala.util.ssa.TypeSafeInstructionFactory insts,
                               com.ibm.wala.util.ssa.SSAValueManager paramManager,
                               Iterable<? extends com.ibm.wala.ipa.callgraph.Entrypoint> entryPoints)

Parameters:

body - The MethodSummary to add instructions to

insts - Will be used to generate the instructions

Method Detail

enterMULTIPLE_TIMES_IN_LOOP

protected int enterMULTIPLE_TIMES_IN_LOOP(int PC)

Prepares the PC to get looped to. Thus it tries to assure a new basic block starts here. Additionally it reserves some space for the insertion of Phi-Functions. Gets called when Label ExecutionOrder.MULTIPLE_TIMES_IN_LOOP got stepped over. In most cases you don't want to invoke this function directly but to use enter(ExecutionOrder.MULTIPLE_TIMES_IN_LOOP, int) instead Sideeffects: currentSection is updated, instructions are inserted into the body

Overrides:

enterMULTIPLE_TIMES_IN_LOOP in class AbstractAndroidModel

Parameters:

PC - Program Counter instructions shall be placed at. In most cases you'll simply pass body.getNextProgramCounter()

Returns:

Program Counter after insertion of the code

enterEND_OF_LOOP

protected int enterEND_OF_LOOP(int PC)

Loops to MULTIPLE_TIMES_IN_LOOP. It inserts a gotoInstruction and fills the space reserved before with actual PhiInstructions Gets called when Label ExecutionOrder.END_OF_LOOP got stepped over. In most cases you don't want to invoke this function directly but to use enter(ExecutionOrder.END_OF_LOOP, int) instead Sideeffects: currentSection is updated, instructions are inserted into the body

Overrides:

enterEND_OF_LOOP in class AbstractAndroidModel

Parameters:

PC - Program Counter instructions shall be placed at. In most cases you'll simply pass body.getNextProgramCounter()

Returns:

Program Counter after insertion of the code