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

Class ContextInsensitiveSSAInterpreter

java.lang.Object

com.ibm.wala.ipa.callgraph.cha.ContextInsensitiveCHAContextInterpreter

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

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

All Implemented Interfaces:

CHAContextInterpreter, RTAContextInterpreter, SSAContextInterpreter

public class ContextInsensitiveSSAInterpreter
extends ContextInsensitiveRTAInterpreter
implements SSAContextInterpreter

Default implementation of SSAContextInterpreter for context-insensitive analysis.

Field Summary

Fields

Modifier and Type	Field and Description
protected AnalysisOptions	options

Constructor Summary

Constructors

Constructor and Description
ContextInsensitiveSSAInterpreter(AnalysisOptions options, AnalysisCache cache)

Method Summary

Methods

Modifier and Type	Method and Description
ControlFlowGraph<SSAInstruction,ISSABasicBlock>	getCFG(CGNode N)
DefUse	getDU(CGNode node)
IR	getIR(CGNode node)
int	getNumberOfStatements(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.ContextInsensitiveRTAInterpreter

getAnalysisCache, iterateFieldsRead, iterateFieldsWritten, iterateNewSites

Methods inherited from class com.ibm.wala.ipa.callgraph.cha.ContextInsensitiveCHAContextInterpreter

iterateCallSites, 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, iterateNewSites

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

iterateCallSites, understands

Field Detail

options

protected final AnalysisOptions options

Constructor Detail

ContextInsensitiveSSAInterpreter

public ContextInsensitiveSSAInterpreter(AnalysisOptions options,
                                AnalysisCache 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

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.

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 ContextInsensitiveRTAInterpreter

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