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	Description
ContextInsensitiveRTAInterpreter(IAnalysisCacheView cache)

Method Summary

Modifier and Type	Method	Description
IAnalysisCacheView	getAnalysisCache()
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.

Methods inherited from class ContextInsensitiveCHAContextInterpreter

iterateCallSites, understands

Methods inherited from class Object

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

Methods inherited from interface CHAContextInterpreter

iterateCallSites, understands

Methods inherited from interface SSAContextInterpreter

getCFG, getDU, getIR, getIRView, getNumberOfStatements

Constructor Details

ContextInsensitiveRTAInterpreter

public ContextInsensitiveRTAInterpreter(IAnalysisCacheView cache)

Method Details

getAnalysisCache

public IAnalysisCacheView getAnalysisCache()

iterateNewSites

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

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.