Class DefaultSSAInterpreter

java.lang.Object

com.ibm.wala.ipa.callgraph.propagation.rta.DefaultRTAInterpreter

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

All Implemented Interfaces:

CHAContextInterpreter, RTAContextInterpreter, SSAContextInterpreter

public class DefaultSSAInterpreter
extends DefaultRTAInterpreter
implements SSAContextInterpreter

Basic analysis; context-insensitive except for newInstance and clone

Constructor Summary

Constructors

Constructor	Description
DefaultSSAInterpreter(AnalysisOptions options, IAnalysisCacheView cache)

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<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.

Methods inherited from class DefaultRTAInterpreter

iterateFieldsRead, iterateFieldsWritten, understands

Methods inherited from class Object

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

Methods inherited from interface CHAContextInterpreter

understands

Methods inherited from interface RTAContextInterpreter

iterateFieldsRead, iterateFieldsWritten

Constructor Details

DefaultSSAInterpreter

public DefaultSSAInterpreter(AnalysisOptions options,
 IAnalysisCacheView cache)

Method Details

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

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.

iterateNewSites

public Iterator<NewSiteReference> iterateNewSites(CGNode node)

Specified by:

iterateNewSites in interface CHAContextInterpreter

Specified by:

iterateNewSites in interface RTAContextInterpreter

Overrides:

iterateNewSites in class DefaultRTAInterpreter

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

Overrides:

iterateCallSites in class DefaultRTAInterpreter

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

Overrides:

recordFactoryType in class DefaultRTAInterpreter

Returns:

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

getCFG

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

Specified by:

getCFG 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