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

Packages that use PointerKeyFactory

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.
com.ibm.wala.ipa.modref

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

Subinterfaces of PointerKeyFactory in com.ibm.wala.ipa.callgraph.propagation

Modifier and Type	Interface and Description
interface	HeapModel A HeapModel embodies how a pointer analysis abstracts heap locations.

Classes in com.ibm.wala.ipa.callgraph.propagation that implement PointerKeyFactory

Modifier and Type	Class and Description
protected class	PointerAnalysisImpl.HModel
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 PointerKeyFactory

Modifier and Type	Field and Description
protected PointerKeyFactory	PropagationCallGraphBuilder.pointerKeyFactory Meta-data regarding how pointers are modeled
protected PointerKeyFactory	PointerAnalysisImpl.pointerKeys An object that abstracts how to model pointers in the heap.

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

Modifier and Type	Method and Description
PointerKeyFactory	PropagationCallGraphBuilder.getPointerKeyFactory()

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

Modifier and Type	Method and Description
void	PropagationCallGraphBuilder.setPointerKeyFactory(PointerKeyFactory pkFact) BEGIN Custom change: setter for pointerkey factory

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

Constructor and Description
PointerAnalysisImpl(PropagationCallGraphBuilder builder, CallGraph cg, PointsToMap pointsToMap, com.ibm.wala.util.intset.MutableMapping<InstanceKey> instanceKeys, PointerKeyFactory pointerKeys, InstanceKeyFactory iKeyFactory)
PropagationCallGraphBuilder(IClassHierarchy cha, AnalysisOptions options, AnalysisCache cache, PointerKeyFactory pointerKeyFactory)
PropagationSystem(CallGraph cg, PointerKeyFactory pointerKeyFactory, InstanceKeyFactory instanceKeyFactory)
SSAPropagationCallGraphBuilder(IClassHierarchy cha, AnalysisOptions options, AnalysisCache cache, PointerKeyFactory pointerKeyFactory)

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

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

Modifier and Type	Class and Description
class	DefaultPointerKeyFactory Default implementation of PointerKeyFactory
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 PointerKeyFactory in com.ibm.wala.ipa.callgraph.propagation.rta

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

Modifier and Type	Class and Description
class	TypeBasedHeapModel A trivial field-based heap model, which only uses the information of which types (classes) are live.

Uses of PointerKeyFactory in com.ibm.wala.ipa.modref

Subinterfaces of PointerKeyFactory in com.ibm.wala.ipa.modref

Modifier and Type	Interface and Description
interface	ExtendedHeapModel An extension of a heap model that returns a PointerKey to represent an array length field

Classes in com.ibm.wala.ipa.modref that implement PointerKeyFactory

Modifier and Type	Class and Description
class	DelegatingExtendedHeapModel An implementation of ExtendedHeapModel based on a normal HeapModel