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
public class AstContextInsensitiveSSAContextInterpreter extends ContextInsensitiveSSAInterpreter
A version ofContextInsensitiveSSAInterpreter
that uses the IR foriterateNewSites(CGNode)
anditerateCallSites(CGNode)
when we have anAstMethod
. (ContextInsensitiveSSAInterpreter
defaults to usingCodeScanner
, 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, AnalysisCache cache)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Iterator<CallSiteReference>
iterateCallSites(CGNode N)
Iterator<NewSiteReference>
iterateNewSites(CGNode N)
boolean
understands(IMethod method, Context context)
-
Methods inherited from class com.ibm.wala.ipa.callgraph.propagation.cfa.ContextInsensitiveSSAInterpreter
getCFG, getDU, getIR, 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 Detail
-
AstContextInsensitiveSSAContextInterpreter
public AstContextInsensitiveSSAContextInterpreter(AnalysisOptions options, AnalysisCache cache)
-
-
Method Detail
-
iterateNewSites
public Iterator<NewSiteReference> iterateNewSites(CGNode N)
- Specified by:
iterateNewSites
in interfaceRTAContextInterpreter
- Overrides:
iterateNewSites
in classContextInsensitiveRTAInterpreter
- 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 interfaceCHAContextInterpreter
- Overrides:
iterateCallSites
in classContextInsensitiveCHAContextInterpreter
- Returns:
- an Iterator of the call statements that may execute in a given method for a given context
-
-