Package com.ibm.wala.cast.ipa.callgraph

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.ArgumentSpecializationContextIntepreter, 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 com.ibm.wala.ipa.callgraph.propagation.cfa.ContextInsensitiveSSAInterpreter

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 com.ibm.wala.ipa.callgraph.propagation.cfa.ContextInsensitiveSSAInterpreter

getCFG, getDU, getIR, getIRView, getNumberOfStatements, recordFactoryType

Methods inherited from class com.ibm.wala.ipa.callgraph.propagation.rta.ContextInsensitiveRTAInterpreter

getAnalysisCache, iterateFieldsRead, iterateFieldsWritten

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

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.cha.CHAContextInterpreter

understands

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

iterateFieldsRead, iterateFieldsWritten

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