Class IntentContextInterpreter

java.lang.Object

com.ibm.wala.dalvik.ipa.callgraph.propagation.cfa.IntentContextInterpreter

All Implemented Interfaces:

CHAContextInterpreter, RTAContextInterpreter, SSAContextInterpreter

public class IntentContextInterpreter
extends Object
implements SSAContextInterpreter

An SSAContextInterpreter that redirects functions that start Android-Components.

The Starter-Functions (listed in IntentStarters) are replaced by a Model that emulates Android Lifecycle based on their Target (Internal, External, ...): A wrapper around the single models is generated dynamically (by the models themselves) to resemble the signature of the replaced function.

Methods are replacement by generating a adapted Intermediate Representation of this function on every occurrence of a call to it.

Since:

2013-10-14

Author:

Tobias Blaschke <code@tobiasblaschke.de>

See Also:

• IntentContextSelector
• IntentStarters
• MicroModel
• ExternalModel

Constructor Summary

Constructors

Constructor	Description
IntentContextInterpreter(IClassHierarchy cha, AnalysisOptions options, IAnalysisCacheView cache)

Method Summary

Modifier and Type	Method	Description
ControlFlowGraph<SSAInstruction, ISSABasicBlock>	getCFG(CGNode node)
DefUse	getDU(CGNode node)
IR	getIR(CGNode node)	Generates an adapted IR of the managed functions on each call.
IRView	getIRView(CGNode node)
int	getNumberOfStatements(CGNode node)
Iterator<CallSiteReference>	iterateCallSites(CGNode node)
Iterator<FieldReference>	iterateFieldsRead(CGNode node)
Iterator<FieldReference>	iterateFieldsWritten(CGNode node)
Iterator<NewSiteReference>	iterateNewSites(CGNode node)
boolean	recordFactoryType(CGNode node, IClass klass)	record that the "factory" method of a node should be interpreted to allocate a particular class.
boolean	understands(CGNode node)	If the function associated with the node is handled by this class.

Methods inherited from class Object

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

Constructor Details

IntentContextInterpreter

public IntentContextInterpreter(IClassHierarchy cha,
 AnalysisOptions options,
 IAnalysisCacheView cache)

Method Details

getIR

public IR getIR(CGNode node)

Generates an adapted IR of the managed functions on each call.

Specified by:

getIR in interface SSAContextInterpreter

Parameters:

node - The function to create the IR of

Returns:

the IR that models the method context, or null if it's an unmodelled native method

Throws:

IllegalArgumentException - on a node of null

getIRView

public IRView getIRView(CGNode node)

Specified by:

getIRView in interface SSAContextInterpreter

understands

public boolean understands(CGNode node)

If the function associated with the node is handled by this class.

Specified by:

understands in interface CHAContextInterpreter

Throws:

IllegalArgumentException - if the given node is null

iterateNewSites

public Iterator<NewSiteReference> iterateNewSites(CGNode node)

Specified by:

iterateNewSites in interface CHAContextInterpreter

Specified by:

iterateNewSites in interface RTAContextInterpreter

Returns:

an Iterator of the types that may be allocated by a given method in a given context.

iterateCallSites

public Iterator<CallSiteReference> iterateCallSites(CGNode node)

Specified by:

iterateCallSites in interface CHAContextInterpreter

Returns:

an Iterator of the call statements that may execute in a given method for a given context

getCFG

public ControlFlowGraph<SSAInstruction, ISSABasicBlock> getCFG(CGNode node)

Specified by:

getCFG in interface SSAContextInterpreter

getNumberOfStatements

public int getNumberOfStatements(CGNode node)

Specified by:

getNumberOfStatements in interface SSAContextInterpreter

Returns:

the number of the statements in the IR, or -1 if it's an unmodelled native method.

getDU

public DefUse getDU(CGNode node)

Specified by:

getDU in interface SSAContextInterpreter

Returns:

DefUse for the IR that models the method context, or null if it's an unmodelled native method

recordFactoryType

public boolean recordFactoryType(CGNode node,
 IClass klass)

Description copied from interface: RTAContextInterpreter

record that the "factory" method of a node should be interpreted to allocate a particular class.

TODO: this is a little ugly, is there a better place to move this?

Specified by:

recordFactoryType in interface RTAContextInterpreter

Returns:

true iff a NEW type was recorded, false if the type was previously recorded.

iterateFieldsWritten

public Iterator<FieldReference> iterateFieldsWritten(CGNode node)

Specified by:

iterateFieldsWritten in interface RTAContextInterpreter

Returns:

iterator of FieldReference

iterateFieldsRead

public Iterator<FieldReference> iterateFieldsRead(CGNode node)

Specified by:

iterateFieldsRead in interface RTAContextInterpreter

Returns:

iterator of FieldReference