Class LoopKillAndroidModel

java.lang.Object

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

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

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

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

public class LoopKillAndroidModel
extends LoopAndroidModel

Builds an Android Model incorporating three loops.

This variant adds a nother loop to the LoopAndroidModel. This additional loop emulates the start of an Application with a savedIstanceState:

When memory on a device gets short Apps may be removed from memory. When they are needed again they get started using that savedIstanceState.

Author:

Tobias Blaschke <code@tobiasblaschke.de>

See Also:

• LoopAndroidModel

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
LoopKillAndroidModel(VolatileMethodSummary body, TypeSafeInstructionFactory insts, SSAValueManager paramManager, Iterable<? extends Entrypoint> entryPoints)

Method Summary

Modifier and Type	Method	Description
protected int	enterAT_FIRST(int PC)	Loop starts here.
protected int	leaveAT_LAST(int PC)	Loops to AT_FIRST.

Methods inherited from class LoopAndroidModel

enterAFTER_LOOP, enterSTART_OF_LOOP

Modifier and Type	Method	Description
protected int	enterAFTER_LOOP(int PC)	Loops to START_OF_LOOP.
protected int	enterSTART_OF_LOOP(int PC)	Prepares the PC to get looped to.

Methods inherited from class SingleStartAndroidModel

enterEND_OF_LOOP, enterMULTIPLE_TIMES_IN_LOOP

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, enterAT_LAST, enterBEFORE_LOOP, enterMIDDLE_OF_LOOP, finish, hadSectionSwitch, returnTypesBetween

Modifier and Type	Method	Description
int	enter(AndroidEntryPoint.ExecutionOrder section, int PC)	Dispatches to the enterLABEL-functions.
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.
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 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

LoopKillAndroidModel

public LoopKillAndroidModel(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

enterAT_FIRST

protected int enterAT_FIRST(int PC)

Loop starts here.

Gets called when Label ExecutionOrder.AT_FIRST got stepped over.

In most cases you don't want to invoke this function directly but to use enter(ExecutionOrder.AT_FIRST, int) instead.

Side effects: currentSection is updated, instructions are inserted into the body

Overrides:

enterAT_FIRST 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

leaveAT_LAST

protected int leaveAT_LAST(int PC)

Loops to AT_FIRST.

It inserts a gotoInstruction and fills the space reserved before with actual PhiInstructions

Does not insert any special handling.

Gets called when the model gets finished.

In most cases you don't want to invoke this function directly but to use AbstractAndroidModel.finish(int) instead

Side effects: instructions are inserted into the body

Overrides:

leaveAT_LAST in class LoopAndroidModel

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