Uses of Interface
com.ibm.wala.ipa.callgraph.propagation.SSAContextInterpreter

Packages that use SSAContextInterpreter

Package	Description
com.ibm.wala.analysis.reflection	This package provides functions to deal with reflection.
com.ibm.wala.analysis.reflection.java7
com.ibm.wala.ipa.callgraph.impl	This package provides some implementations of basic functions needed for various call graph construction algorithms.
com.ibm.wala.ipa.callgraph.propagation	This package provides the base layer for propagation-based call graph construction and pointer analysis.
com.ibm.wala.ipa.callgraph.propagation.cfa	This package provides RTA call graph construction.
com.ibm.wala.ipa.callgraph.propagation.rta	This package provides CFA-style call graph construction and pointer analysis.

Uses of SSAContextInterpreter in com.ibm.wala.analysis.reflection

Classes in com.ibm.wala.analysis.reflection that implement SSAContextInterpreter

Modifier and Type	Class and Description
class	AbstractReflectionInterpreter An abstract superclass of various SSAContextInterpreters that deal with reflection methods.
class	ClassFactoryContextInterpreter An SSAContextInterpreter specialized to interpret reflective class factories (e.g.
class	ClassNewInstanceContextInterpreter An SSAContextInterpreter specialized to interpret Class.newInstance in a JavaTypeContext which represents the point-type of the class object created by the call.
class	CloneInterpreter A context interpreter for java.lang.Object.clone TODO: The current implementation does not model CloneNotSupportedExceptions
class	FactoryBypassInterpreter Logic to interpret "factory" methods in context.
class	GetClassContextInterpeter SSAContextInterpreter specialized to interpret Object.getClass() in a JavaTypeContext
class	GetMethodContextInterpreter Understands GetMethodContext.
class	JavaLangClassContextInterpreter An SSAContextInterpreter specialized to interpret methods on java.lang.Class in a JavaTypeContext which represents the point-type of the class object created by the call.
class	ReflectiveInvocationInterpreter An SSAContextInterpreter specialized to interpret reflective invocations such as Constructor.newInstance and Method.invoke on an IMethod constant.

Methods in com.ibm.wala.analysis.reflection that return SSAContextInterpreter

Modifier and Type	Method and Description
static SSAContextInterpreter	ReflectionContextInterpreter.createReflectionContextInterpreter(IClassHierarchy cha, AnalysisOptions options, AnalysisCache cache)

Uses of SSAContextInterpreter in com.ibm.wala.analysis.reflection.java7

Classes in com.ibm.wala.analysis.reflection.java7 that implement SSAContextInterpreter

Modifier and Type	Class and Description
static class	MethodHandles.ContextInterpreterImpl

Uses of SSAContextInterpreter in com.ibm.wala.ipa.callgraph.impl

Methods in com.ibm.wala.ipa.callgraph.impl with parameters of type SSAContextInterpreter

Modifier and Type	Method and Description
static SSAPropagationCallGraphBuilder	Util.makeVanillaZeroOneCFABuilder(AnalysisOptions options, AnalysisCache cache, IClassHierarchy cha, AnalysisScope scope, ContextSelector customSelector, SSAContextInterpreter customInterpreter)
static SSAPropagationCallGraphBuilder	Util.makeZeroCFABuilder(AnalysisOptions options, AnalysisCache cache, IClassHierarchy cha, AnalysisScope scope, ContextSelector customSelector, SSAContextInterpreter customInterpreter)
static SSAPropagationCallGraphBuilder	Util.makeZeroOneCFABuilder(AnalysisOptions options, AnalysisCache cache, IClassHierarchy cha, AnalysisScope scope, ContextSelector customSelector, SSAContextInterpreter customInterpreter)
static SSAPropagationCallGraphBuilder	Util.makeZeroOneContainerCFABuilder(AnalysisOptions options, AnalysisCache cache, IClassHierarchy cha, AnalysisScope scope, ContextSelector appSelector, SSAContextInterpreter appInterpreter)

Uses of SSAContextInterpreter in com.ibm.wala.ipa.callgraph.propagation

Methods in com.ibm.wala.ipa.callgraph.propagation that return SSAContextInterpreter

Modifier and Type	Method and Description
SSAContextInterpreter	SSAPropagationCallGraphBuilder.getCFAContextInterpreter()

Methods in com.ibm.wala.ipa.callgraph.propagation with parameters of type SSAContextInterpreter

Modifier and Type	Method and Description
void	PropagationCallGraphBuilder.setContextInterpreter(SSAContextInterpreter interpreter) Subclasses must register the context interpreter before building a call graph.

Uses of SSAContextInterpreter in com.ibm.wala.ipa.callgraph.propagation.cfa

Classes in com.ibm.wala.ipa.callgraph.propagation.cfa that implement SSAContextInterpreter

Modifier and Type	Class and Description
class	ContextInsensitiveSSAInterpreter Default implementation of SSAContextInterpreter for context-insensitive analysis.
class	DefaultSSAInterpreter Basic analysis; context-insensitive except for newInstance and clone
class	DelegatingSSAContextInterpreter An SSAContextInterpreter that first checks with A, then defaults to B.
class	FallbackContextInterpreter This ContextInterpreter can be used when using another WALA frontend than the shrike frontend.

Methods in com.ibm.wala.ipa.callgraph.propagation.cfa with parameters of type SSAContextInterpreter

Modifier and Type	Method and Description
static ZeroXCFABuilder	ZeroXCFABuilder.make(IClassHierarchy cha, AnalysisOptions options, AnalysisCache cache, ContextSelector appContextSelector, SSAContextInterpreter appContextInterpreter, int instancePolicy)
protected ZeroXInstanceKeys	ZeroXCFABuilder.makeInstanceKeys(IClassHierarchy cha, AnalysisOptions options, SSAContextInterpreter contextInterpreter, int instancePolicy) subclasses can override as desired

Constructors in com.ibm.wala.ipa.callgraph.propagation.cfa with parameters of type SSAContextInterpreter

Constructor and Description
DelegatingSSAContextInterpreter(SSAContextInterpreter A, SSAContextInterpreter B) neither A nor B should be null.
FallbackContextInterpreter(SSAContextInterpreter shrikeCI)
nCFABuilder(int n, IClassHierarchy cha, AnalysisOptions options, AnalysisCache cache, ContextSelector appContextSelector, SSAContextInterpreter appContextInterpreter)
ZeroXCFABuilder(IClassHierarchy cha, AnalysisOptions options, AnalysisCache cache, ContextSelector appContextSelector, SSAContextInterpreter appContextInterpreter, int instancePolicy)
ZeroXContainerCFABuilder(IClassHierarchy cha, AnalysisOptions options, AnalysisCache cache, ContextSelector appContextSelector, SSAContextInterpreter appContextInterpreter, int instancePolicy)

Uses of SSAContextInterpreter in com.ibm.wala.ipa.callgraph.propagation.rta

Classes in com.ibm.wala.ipa.callgraph.propagation.rta that implement SSAContextInterpreter

Modifier and Type	Class and Description
class	ContextInsensitiveRTAInterpreter Default implementation of MethodContextInterpreter for context-insensitive analysis

Methods in com.ibm.wala.ipa.callgraph.propagation.rta that return SSAContextInterpreter

Modifier and Type	Method and Description
protected SSAContextInterpreter	AbstractRTABuilder.makeContextInterpreter(SSAContextInterpreter appContextInterpreter)

Methods in com.ibm.wala.ipa.callgraph.propagation.rta with parameters of type SSAContextInterpreter

Modifier and Type	Method and Description
protected SSAContextInterpreter	AbstractRTABuilder.makeContextInterpreter(SSAContextInterpreter appContextInterpreter)

Constructors in com.ibm.wala.ipa.callgraph.propagation.rta with parameters of type SSAContextInterpreter

Constructor and Description
AbstractRTABuilder(IClassHierarchy cha, AnalysisOptions options, AnalysisCache cache, ContextSelector appContextSelector, SSAContextInterpreter appContextInterpreter)
BasicRTABuilder(IClassHierarchy cha, AnalysisOptions options, AnalysisCache cache, ContextSelector contextSelector, SSAContextInterpreter contextInterpreter)