IntentContextInterpreter (API Reference for wala 1.3.9)

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

See Also:

IntentContextSelector, IntentStarters, MicroModel, ExternalModel

Constructor Summary

Constructors
Constructor and Description

IntentContextInterpreter(IClassHierarchy cha, AnalysisOptions options, AnalysisCache cache)

Constructors
Constructor and Description
`IntentContextInterpreter(IClassHierarchy cha, AnalysisOptions options, AnalysisCache cache)`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and 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.
`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 java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - IntentContextInterpreter
```
public IntentContextInterpreter(IClassHierarchy cha,
                                AnalysisOptions options,
                                AnalysisCache cache)
```
- Method Detail
  - 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
  - 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 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

Class IntentContextInterpreter

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Constructor Detail

IntentContextInterpreter

Method Detail

getIR

understands

iterateNewSites

iterateCallSites

getCFG

getNumberOfStatements

getDU

recordFactoryType

iterateFieldsWritten

iterateFieldsRead