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:

com.ibm.wala.ipa.callgraph.cha.CHAContextInterpreter, com.ibm.wala.ipa.callgraph.propagation.rta.RTAContextInterpreter, com.ibm.wala.ipa.callgraph.propagation.SSAContextInterpreter

public class AstContextInsensitiveSSAContextInterpreter
extends com.ibm.wala.ipa.callgraph.propagation.cfa.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 and Description
AstContextInsensitiveSSAContextInterpreter(com.ibm.wala.ipa.callgraph.AnalysisOptions options, com.ibm.wala.ipa.callgraph.IAnalysisCacheView cache)

Method Summary

Modifier and Type	Method and Description
java.util.Iterator<com.ibm.wala.classLoader.CallSiteReference>	iterateCallSites(com.ibm.wala.ipa.callgraph.CGNode N)
java.util.Iterator<com.ibm.wala.classLoader.NewSiteReference>	iterateNewSites(com.ibm.wala.ipa.callgraph.CGNode N)
boolean	understands(com.ibm.wala.classLoader.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.propagation.rta.RTAContextInterpreter

iterateFieldsRead, iterateFieldsWritten

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

understands

Constructor Detail

AstContextInsensitiveSSAContextInterpreter

public AstContextInsensitiveSSAContextInterpreter(com.ibm.wala.ipa.callgraph.AnalysisOptions options,
                                                  com.ibm.wala.ipa.callgraph.IAnalysisCacheView cache)

Method Detail

understands

public boolean understands(com.ibm.wala.classLoader.IMethod method)

iterateNewSites

public java.util.Iterator<com.ibm.wala.classLoader.NewSiteReference> iterateNewSites(com.ibm.wala.ipa.callgraph.CGNode N)

Specified by:

iterateNewSites in interface com.ibm.wala.ipa.callgraph.cha.CHAContextInterpreter

Specified by:

iterateNewSites in interface com.ibm.wala.ipa.callgraph.propagation.rta.RTAContextInterpreter

Overrides:

iterateNewSites in class com.ibm.wala.ipa.callgraph.propagation.rta.ContextInsensitiveRTAInterpreter

iterateCallSites

public java.util.Iterator<com.ibm.wala.classLoader.CallSiteReference> iterateCallSites(com.ibm.wala.ipa.callgraph.CGNode N)

Specified by:

iterateCallSites in interface com.ibm.wala.ipa.callgraph.cha.CHAContextInterpreter

Overrides:

iterateCallSites in class com.ibm.wala.ipa.callgraph.cha.ContextInsensitiveCHAContextInterpreter