Package com.ibm.wala.ipa.callgraph.propagation.cfa

Class FallbackContextInterpreter

java.lang.Object

com.ibm.wala.ipa.callgraph.propagation.cfa.FallbackContextInterpreter

All Implemented Interfaces:

CHAContextInterpreter, RTAContextInterpreter, SSAContextInterpreter

public class FallbackContextInterpreter
extends Object
implements SSAContextInterpreter

This ContextInterpreter can be used when using another WALA frontend than the shrike frontend. WALA's standard ContextInterpreters, like e.g. DefaultSSAInterpreter delegate to CodeScanner, which assumes, that the provided methods are instances of shrike classes. When using these ContextInterpreter with another frontend than shrike, this leads to ClassCastExceptions. This class can be used to work around this issue. It delegates to a given ContextInterpreter, if the CGNode's IMethod is a Shrike class. Otherwise, it retrieves the required information from the CGNode's IR, which should always work.

Author:

Martin Mohr <martin.mohr@kit.edu>

This class is provided by the JOANA project (joana.ipd.kit.edu).

Constructor Summary

Constructors

Constructor	Description
FallbackContextInterpreter(SSAContextInterpreter shrikeCI)

Method Summary

Modifier and Type	Method	Description
ControlFlowGraph<SSAInstruction,ISSABasicBlock>	getCFG(CGNode n)
DefUse	getDU(CGNode node)
IR	getIR(CGNode node)
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)	Does this object understand the given method? The caller had better check this before inquiring on other properties.

Methods inherited from class java.lang.Object

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

Constructor Details

FallbackContextInterpreter

public FallbackContextInterpreter(SSAContextInterpreter shrikeCI)

Method Details

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.

iterateFieldsRead

public Iterator<FieldReference> iterateFieldsRead(CGNode node)

Specified by:

iterateFieldsRead in interface RTAContextInterpreter

Returns:

iterator of FieldReference

iterateFieldsWritten

public Iterator<FieldReference> iterateFieldsWritten(CGNode node)

Specified by:

iterateFieldsWritten in interface RTAContextInterpreter

Returns:

iterator of FieldReference

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

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.

understands

public boolean understands(CGNode node)

Description copied from interface: CHAContextInterpreter

Does this object understand the given method? The caller had better check this before inquiring on other properties.

Specified by:

understands in interface CHAContextInterpreter

getIR

public IR getIR(CGNode node)

Specified by:

getIR in interface SSAContextInterpreter

Returns:

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

getIRView

public IRView getIRView(CGNode node)

Specified by:

getIRView in interface SSAContextInterpreter

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

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.

getCFG

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

Specified by:

getCFG in interface SSAContextInterpreter