Uses of Class
com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder

Packages that use SSAPropagationCallGraphBuilder

Package	Description
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.

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

Methods in com.ibm.wala.ipa.callgraph.impl that return SSAPropagationCallGraphBuilder

Modifier and Type	Method and Description
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 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)

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

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

Modifier and Type	Field and Description
protected SSAPropagationCallGraphBuilder	SSAPropagationCallGraphBuilder.ConstraintVisitor.builder The governing call graph builder.

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

Modifier and Type	Method and Description
protected SSAPropagationCallGraphBuilder	SSAPropagationCallGraphBuilder.ConstraintVisitor.getBuilder()

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

Constructor and Description
SSAPropagationCallGraphBuilder.ConstraintVisitor(SSAPropagationCallGraphBuilder builder, CGNode node)

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

Subclasses of SSAPropagationCallGraphBuilder in com.ibm.wala.ipa.callgraph.propagation.cfa

Modifier and Type	Class and Description
class	nCFABuilder nCFA Call graph builder.
class	ZeroXCFABuilder 0-1-CFA Call graph builder, optimized to not disambiguate instances of "uninteresting" types.
class	ZeroXContainerCFABuilder 0-X-CFA Call graph builder which analyzes calls to "container methods" in a context which is defined by the receiver instance.

Methods in com.ibm.wala.ipa.callgraph.propagation.cfa that return SSAPropagationCallGraphBuilder

Modifier and Type	Method and Description
static SSAPropagationCallGraphBuilder	ZeroXCFABuilder.make(AnalysisOptions options, AnalysisCache cache, IClassHierarchy cha, ClassLoader cl, AnalysisScope scope, String[] xmlFiles, byte instancePolicy)