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 Android-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 AbstractAndroidModel

body, entryPoints, insts, paramManager

Modifier and Type	Field	Description
protected VolatileMethodSummary	body
protected Iterable<? extends Entrypoint>	entryPoints
protected TypeSafeInstructionFactory	insts
protected SSAValueManager	paramManager

Constructor Summary

Constructors

Constructor	Description
SingleStartAndroidModel(VolatileMethodSummary body, TypeSafeInstructionFactory insts, SSAValueManager paramManager, Iterable<? extends Entrypoint> entryPoints)

Method Summary

Modifier and Type	Method	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 AbstractAndroidModel

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

Modifier and Type	Method	Description
int	enter(AndroidEntryPoint.ExecutionOrder section, int PC)	Dispatches to the enterLABEL-functions.
protected int	enterAFTER_LOOP(int PC)	Gets called when Label ExecutionOrder.AFTER_LOOP got stepped over.
protected int	enterAT_FIRST(int PC)	Gets called when Label ExecutionOrder.AT_FIRST got stepped over.
protected int	enterAT_LAST(int PC)	Gets called when Label ExecutionOrder.AT_LAST got stepped over.
protected int	enterBEFORE_LOOP(int PC)	Gets called when Label ExecutionOrder.BEFORE_LOOP got stepped over.
protected int	enterMIDDLE_OF_LOOP(int PC)	Gets called when Label ExecutionOrder.MIDDLE_OF_LOOP got stepped over.
protected int	enterSTART_OF_LOOP(int PC)	Gets called when Label ExecutionOrder.START_OF_LOOP got stepped over.
int	finish(int PC)	Calls all remaining enterLABEL-functions, finally calls leaveAT_LAST.
final boolean	hadSectionSwitch(AndroidEntryPoint.IExecutionOrder order)	Determines for an AndroidEntryPoint if a label got skipped over.
protected int	leaveAT_LAST(int PC)	Gets called when the model gets finished.
protected List<TypeReference>	returnTypesBetween(AndroidEntryPoint.IExecutionOrder start, AndroidEntryPoint.IExecutionOrder end)	Return a List of all Types returned by functions between start (inclusive) and end (exclusive).

Methods inherited from class Object

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

Constructor Details

SingleStartAndroidModel

public SingleStartAndroidModel(VolatileMethodSummary body,
 TypeSafeInstructionFactory insts,
 SSAValueManager paramManager,
 Iterable<? extends Entrypoint> entryPoints)

Parameters:

body - The MethodSummary to add instructions to

insts - Will be used to generate the instructions

Method Details

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

Side effects: 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

Side effects: 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