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

Class ContextInsensitiveRTAInterpreter

java.lang.Object

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

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

All Implemented Interfaces:

CHAContextInterpreter, RTAContextInterpreter, SSAContextInterpreter

Direct Known Subclasses:

ContextInsensitiveSSAInterpreter

public abstract class ContextInsensitiveRTAInterpreter
extends ContextInsensitiveCHAContextInterpreter
implements RTAContextInterpreter, SSAContextInterpreter

Default implementation of MethodContextInterpreter for context-insensitive analysis

Constructor Summary

Constructors

Constructor and Description
ContextInsensitiveRTAInterpreter(IAnalysisCacheView cache)

Method Summary

Modifier and Type	Method and Description
IAnalysisCacheView	getAnalysisCache()
java.util.Iterator<FieldReference>	iterateFieldsRead(CGNode node)
java.util.Iterator<FieldReference>	iterateFieldsWritten(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.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.SSAContextInterpreter

getCFG, getDU, getIR, getIRView, getNumberOfStatements

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

iterateCallSites, understands

Constructor Detail

ContextInsensitiveRTAInterpreter

public ContextInsensitiveRTAInterpreter(IAnalysisCacheView cache)

Method Detail

getAnalysisCache

public IAnalysisCacheView getAnalysisCache()

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 ContextInsensitiveCHAContextInterpreter

Returns:

an Iterator of the types that may be allocated by a given method in a given context.

iterateFieldsRead

public java.util.Iterator<FieldReference> iterateFieldsRead(CGNode node)

Specified by:

iterateFieldsRead in interface RTAContextInterpreter

Returns:

iterator of FieldReference

iterateFieldsWritten

public java.util.Iterator<FieldReference> iterateFieldsWritten(CGNode node)

Specified by:

iterateFieldsWritten in interface RTAContextInterpreter

Returns:

iterator of FieldReference

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.