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
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
ConstructorDescription -
Method Summary
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
-
iterateNewSites
- Specified by:
iterateNewSites
in interfaceCHAContextInterpreter
- 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
- 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
-