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

Packages that use PropagationCallGraphBuilder

Package	Description
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 PropagationCallGraphBuilder in com.ibm.wala.ipa.callgraph.propagation

Subclasses of PropagationCallGraphBuilder in com.ibm.wala.ipa.callgraph.propagation

Modifier and Type	Class and Description
class	SSAPropagationCallGraphBuilder This abstract base class provides the general algorithm for a call graph builder that relies on propagation through an iterative dataflow solver, and constraints generated by statements in SSA form.

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

Modifier and Type	Field and Description
protected PropagationCallGraphBuilder	PointerAnalysisImpl.builder

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

Modifier and Type	Method and Description
protected PropagationCallGraphBuilder	AbstractPointsToSolver.getBuilder()

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

Modifier and Type	Method and Description
PointerAnalysis<InstanceKey>	PropagationSystem.extractPointerAnalysis(PropagationCallGraphBuilder builder)
PointerAnalysis<InstanceKey>	PropagationSystem.makePointerAnalysis(PropagationCallGraphBuilder builder)

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

Constructor and Description
AbstractPointsToSolver(PropagationSystem system, PropagationCallGraphBuilder builder)
PointerAnalysisImpl(PropagationCallGraphBuilder builder, CallGraph cg, PointsToMap pointsToMap, com.ibm.wala.util.intset.MutableMapping<InstanceKey> instanceKeys, PointerKeyFactory pointerKeys, InstanceKeyFactory iKeyFactory)
ReflectionHandler(PropagationCallGraphBuilder builder)
StandardSolver(PropagationSystem system, PropagationCallGraphBuilder builder)

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

Subclasses of PropagationCallGraphBuilder 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.

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

Subclasses of PropagationCallGraphBuilder in com.ibm.wala.ipa.callgraph.propagation.rta

Modifier and Type	Class and Description
class	AbstractRTABuilder Abstract superclass of various RTA flavors
class	BasicRTABuilder TODO: refactor to eliminate more redundancy with SSACallGraphBuilder