Uses of Class
com.ibm.wala.ipa.callgraph.AnalysisOptions

Packages that use AnalysisOptions

Package	Description
com.ibm.wala.analysis.reflection	This package provides functions to deal with reflection.
com.ibm.wala.client	This package provides interfaces for some base utilities for use by WALA clients.
com.ibm.wala.demandpa.alg
com.ibm.wala.ipa.callgraph	This package provides basic interfaces and functions for call graph construction.
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 AnalysisOptions in com.ibm.wala.analysis.reflection

Fields in com.ibm.wala.analysis.reflection declared as AnalysisOptions

Modifier and Type	Field and Description
protected AnalysisOptions	AbstractReflectionInterpreter.options Governing analysis options

Methods in com.ibm.wala.analysis.reflection with parameters of type AnalysisOptions

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

Constructors in com.ibm.wala.analysis.reflection with parameters of type AnalysisOptions

Constructor and Description
FactoryBypassInterpreter(AnalysisOptions options, AnalysisCache cache)

Uses of AnalysisOptions in com.ibm.wala.client

Methods in com.ibm.wala.client that return AnalysisOptions

Modifier and Type	Method and Description
AnalysisOptions	AnalysisEngine.getDefaultOptions(Iterable<Entrypoint> entrypoints) Get the default analysis options appropriate for this engine
AnalysisOptions	AbstractAnalysisEngine.getDefaultOptions(Iterable<Entrypoint> entrypoints)
AnalysisOptions	AbstractAnalysisEngine.getOptions()

Methods in com.ibm.wala.client with parameters of type AnalysisOptions

Modifier and Type	Method and Description
protected CallGraphBuilder	AbstractAnalysisEngine.buildCallGraph(IClassHierarchy cha, AnalysisOptions options, boolean savePointerAnalysis, com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)
protected abstract CallGraphBuilder	AbstractAnalysisEngine.getCallGraphBuilder(IClassHierarchy cha, AnalysisOptions options, AnalysisCache cache)

Uses of AnalysisOptions in com.ibm.wala.demandpa.alg

Fields in com.ibm.wala.demandpa.alg declared as AnalysisOptions

Modifier and Type	Field and Description
protected AnalysisOptions	AbstractDemandPointsTo.options

Methods in com.ibm.wala.demandpa.alg with parameters of type AnalysisOptions

Modifier and Type	Method and Description
static DemandRefinementPointsTo	DemandRefinementPointsTo.makeWithDefaultFlowGraph(CallGraph cg, HeapModel model, MemoryAccessMap mam, IClassHierarchy cha, AnalysisOptions options, StateMachineFactory<IFlowLabel> stateMachineFactory) create a demand points-to analysis runner

Constructors in com.ibm.wala.demandpa.alg with parameters of type AnalysisOptions

Constructor and Description
AbstractDemandPointsTo(CallGraph cg, HeapModel model, MemoryAccessMap mam, IClassHierarchy cha, AnalysisOptions options)
SimpleDemandPointsTo(CallGraph cg, HeapModel model, MemoryAccessMap fam, IClassHierarchy cha, AnalysisOptions options)

Uses of AnalysisOptions in com.ibm.wala.ipa.callgraph

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

Modifier and Type	Method and Description
CallGraph	CallGraphBuilder.makeCallGraph(AnalysisOptions options, com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor) Build a call graph.

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

Fields in com.ibm.wala.ipa.callgraph.impl declared as AnalysisOptions

Modifier and Type	Field and Description
protected AnalysisOptions	ExplicitCallGraph.options

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

Modifier and Type	Method and Description
static void	Util.addBypassLogic(AnalysisOptions options, AnalysisScope scope, ClassLoader cl, String xmlFile, IClassHierarchy cha) Modify an options object to include bypass logic as specified by a an XML file.
static void	Util.addBypassLogic(AnalysisOptions options, AnalysisScope scope, ClassLoader cl, XMLMethodSummaryReader summary, IClassHierarchy cha)
static void	Util.addDefaultBypassLogic(AnalysisOptions options, AnalysisScope scope, ClassLoader cl, IClassHierarchy cha)
static void	Util.addDefaultSelectors(AnalysisOptions options, IClassHierarchy cha) Set up an AnalysisOptions object with default selectors, corresponding to class hierarchy lookup
static SSAPropagationCallGraphBuilder	Util.makeNCFABuilder(int n, AnalysisOptions options, AnalysisCache cache, IClassHierarchy cha, AnalysisScope scope) make a CallGraphBuilder that uses call-string context sensitivity, with call-string length limited to n, and a context-sensitive allocation-site-based heap abstraction.
static CallGraphBuilder	Util.makeRTABuilder(AnalysisOptions options, AnalysisCache cache, IClassHierarchy cha, AnalysisScope scope)
static SSAPropagationCallGraphBuilder	Util.makeVanillaNCFABuilder(int n, AnalysisOptions options, AnalysisCache cache, IClassHierarchy cha, AnalysisScope scope) make a CallGraphBuilder that uses call-string context sensitivity, with call-string length limited to n, and a context-sensitive allocation-site-based heap abstraction.
static SSAPropagationCallGraphBuilder	Util.makeVanillaZeroOneCFABuilder(AnalysisOptions options, AnalysisCache cache, IClassHierarchy cha, AnalysisScope scope)
static SSAPropagationCallGraphBuilder	Util.makeVanillaZeroOneCFABuilder(AnalysisOptions options, AnalysisCache cache, IClassHierarchy cha, AnalysisScope scope, ContextSelector customSelector, SSAContextInterpreter customInterpreter)
static SSAPropagationCallGraphBuilder	Util.makeVanillaZeroOneContainerCFABuilder(AnalysisOptions options, AnalysisCache cache, IClassHierarchy cha, AnalysisScope scope)
static SSAPropagationCallGraphBuilder	Util.makeZeroCFABuilder(AnalysisOptions options, AnalysisCache cache, IClassHierarchy cha, AnalysisScope scope)
static SSAPropagationCallGraphBuilder	Util.makeZeroCFABuilder(AnalysisOptions options, AnalysisCache cache, IClassHierarchy cha, AnalysisScope scope, ContextSelector customSelector, SSAContextInterpreter customInterpreter)
static SSAPropagationCallGraphBuilder	Util.makeZeroContainerCFABuilder(AnalysisOptions options, AnalysisCache cache, IClassHierarchy cha, AnalysisScope scope)
static SSAPropagationCallGraphBuilder	Util.makeZeroOneCFABuilder(AnalysisOptions options, AnalysisCache cache, IClassHierarchy cha, AnalysisScope scope)
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)
static SSAPropagationCallGraphBuilder	Util.makeZeroOneContainerCFABuilder(AnalysisOptions options, AnalysisCache cache, IClassHierarchy cha, AnalysisScope scope, ContextSelector appSelector, SSAContextInterpreter appInterpreter)

Constructors in com.ibm.wala.ipa.callgraph.impl with parameters of type AnalysisOptions

Constructor and Description
AbstractRootMethod(MethodReference method, IClassHierarchy cha, AnalysisOptions options, AnalysisCache cache)
AbstractRootMethod(MethodReference method, IClass declaringClass, IClassHierarchy cha, AnalysisOptions options, AnalysisCache cache)
DefaultContextSelector(AnalysisOptions options, IClassHierarchy cha)
ExplicitCallGraph(IClassHierarchy cha, AnalysisOptions options, AnalysisCache cache)
FakeRootMethod(IClassHierarchy cha, AnalysisOptions options, AnalysisCache cache)
FakeWorldClinitMethod(IClassHierarchy cha, AnalysisOptions options, AnalysisCache cache)

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

Fields in com.ibm.wala.ipa.callgraph.propagation declared as AnalysisOptions

Modifier and Type	Field and Description
protected AnalysisOptions	PropagationCallGraphBuilder.options Special rules for bypassing Java calls

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

Modifier and Type	Method and Description
protected AnalysisOptions	SSAPropagationCallGraphBuilder.ConstraintVisitor.getOptions()
AnalysisOptions	PropagationCallGraphBuilder.getOptions()

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

Modifier and Type	Method and Description
protected ExplicitCallGraph	PropagationCallGraphBuilder.createEmptyCallGraph(IClassHierarchy cha, AnalysisOptions options)
CallGraph	PropagationCallGraphBuilder.makeCallGraph(AnalysisOptions options)
CallGraph	PropagationCallGraphBuilder.makeCallGraph(AnalysisOptions options, com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)
protected PropagationSystem	PropagationCallGraphBuilder.makeSystem(AnalysisOptions options)

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

Constructor and Description
AllocationSiteInNodeFactory(AnalysisOptions options, IClassHierarchy cha)
ClassBasedInstanceKeys(AnalysisOptions options, IClassHierarchy cha)
PropagationCallGraphBuilder(IClassHierarchy cha, AnalysisOptions options, AnalysisCache cache, PointerKeyFactory pointerKeyFactory)
SmushedAllocationSiteInstanceKeys(AnalysisOptions options, IClassHierarchy cha)
SSAPropagationCallGraphBuilder(IClassHierarchy cha, AnalysisOptions options, AnalysisCache cache, PointerKeyFactory pointerKeyFactory)

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

Fields in com.ibm.wala.ipa.callgraph.propagation.cfa declared as AnalysisOptions

Modifier and Type	Field and Description
protected AnalysisOptions	ContextInsensitiveSSAInterpreter.options

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

Modifier and Type	Method and Description
static SSAPropagationCallGraphBuilder	ZeroXCFABuilder.make(AnalysisOptions options, AnalysisCache cache, IClassHierarchy cha, ClassLoader cl, AnalysisScope scope, String[] xmlFiles, byte instancePolicy)
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 AnalysisOptions

Constructor and Description
ContextInsensitiveSSAInterpreter(AnalysisOptions options, AnalysisCache cache)
DefaultSSAInterpreter(AnalysisOptions options, AnalysisCache cache)
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)
ZeroXInstanceKeys(AnalysisOptions options, IClassHierarchy cha, RTAContextInterpreter contextInterpreter, int policy)

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

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

Modifier and Type	Method and Description
protected ExplicitCallGraph	AbstractRTABuilder.createEmptyCallGraph(IClassHierarchy cha, AnalysisOptions options)
static TypeBasedPointerAnalysis	TypeBasedPointerAnalysis.make(AnalysisOptions options, Collection<IClass> klasses, CallGraph cg)
protected PropagationSystem	AbstractRTABuilder.makeSystem(AnalysisOptions options)

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

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)
DefaultRTAInterpreter(AnalysisOptions options, AnalysisCache cache)
DelegatingExplicitCallGraph(IClassHierarchy cha, AnalysisOptions options, AnalysisCache cache)
TypeBasedHeapModel(AnalysisOptions options, Collection<IClass> klasses, CallGraph cg)