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

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 and Description
DefaultSSAInterpreter(AnalysisOptions options, IAnalysisCacheView cache)

Method Summary

Modifier and Type	Method and Description
ControlFlowGraph<SSAInstruction,ISSABasicBlock>	getCFG(CGNode N)
DefUse	getDU(CGNode node)
IR	getIR(CGNode node)
IRView	getIRView(CGNode node)
int	getNumberOfStatements(CGNode node)
java.util.Iterator<CallSiteReference>	iterateCallSites(CGNode node)
java.util.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 com.ibm.wala.ipa.callgraph.propagation.rta.DefaultRTAInterpreter

iterateFieldsRead, iterateFieldsWritten, understands

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.ibm.wala.ipa.callgraph.propagation.rta.RTAContextInterpreter

iterateFieldsRead, iterateFieldsWritten

Methods inherited from interface com.ibm.wala.ipa.callgraph.cha.CHAContextInterpreter

understands

Constructor Detail

DefaultSSAInterpreter

public DefaultSSAInterpreter(AnalysisOptions options,
                             IAnalysisCacheView cache)

Method Detail

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