Class AstContextInsensitiveSSAContextInterpreter

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

com.ibm.wala.cast.ipa.callgraph.AstContextInsensitiveSSAContextInterpreter

All Implemented Interfaces:

CHAContextInterpreter, RTAContextInterpreter, SSAContextInterpreter

Direct Known Subclasses:

ArgumentSpecialization.ArgumentSpecializationContextInterpreter, JavaScriptFunctionApplyContextInterpreter

public class AstContextInsensitiveSSAContextInterpreter
extends ContextInsensitiveSSAInterpreter

A version of ContextInsensitiveSSAInterpreter that uses the IR for iterateNewSites(CGNode) and iterateCallSites(CGNode) when we have an AstMethod. (ContextInsensitiveSSAInterpreter defaults to using CodeScanner, which only works for bytecodes.)

Field Summary

Fields inherited from class ContextInsensitiveSSAInterpreter

options

Modifier and Type	Field	Description
protected final AnalysisOptions	options

Constructor Summary

Constructors

Constructor	Description
AstContextInsensitiveSSAContextInterpreter(AnalysisOptions options, IAnalysisCacheView cache)

Method Summary

Modifier and Type	Method	Description
Iterator<CallSiteReference>	iterateCallSites(CGNode N)
Iterator<NewSiteReference>	iterateNewSites(CGNode N)
boolean	understands(IMethod method)

Methods inherited from class ContextInsensitiveSSAInterpreter

getCFG, getDU, getIR, getIRView, getNumberOfStatements, recordFactoryType

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)
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 ContextInsensitiveRTAInterpreter

getAnalysisCache, iterateFieldsRead, iterateFieldsWritten

Modifier and Type	Method	Description
IAnalysisCacheView	getAnalysisCache()
Iterator<FieldReference>	iterateFieldsRead(CGNode node)
Iterator<FieldReference>	iterateFieldsWritten(CGNode node)

Methods inherited from class ContextInsensitiveCHAContextInterpreter

understands

Modifier and Type	Method	Description
boolean	understands(CGNode node)	Does this object understand the given method? The caller had better check this before inquiring on other properties.

Methods inherited from class Object

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

Constructor Details

AstContextInsensitiveSSAContextInterpreter

public AstContextInsensitiveSSAContextInterpreter(AnalysisOptions options,
 IAnalysisCacheView cache)

Method Details

understands

public boolean understands(IMethod method)

iterateNewSites

public Iterator<NewSiteReference> iterateNewSites(CGNode N)

Specified by:

iterateNewSites in interface CHAContextInterpreter

Specified by:

iterateNewSites in interface RTAContextInterpreter

Overrides:

iterateNewSites in class ContextInsensitiveRTAInterpreter

Returns:

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

iterateCallSites

public Iterator<CallSiteReference> iterateCallSites(CGNode N)

Specified by:

iterateCallSites in interface CHAContextInterpreter

Overrides:

iterateCallSites in class ContextInsensitiveCHAContextInterpreter

Returns:

an Iterator of the call statements that may execute in a given method for a given context