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

Packages that use InstanceKeyFactory

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

Subinterfaces of InstanceKeyFactory 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 InstanceKeyFactory

Modifier and Type	Class and Description
class	AllocationSiteInNodeFactory A factory which tries by default to create InstanceKeys which are AllocationSiteInNodes.
class	ClassBasedInstanceKeys This class provides Instance Key call backs where each instance is in the same equivalence class as all other instances of the same concrete type.
protected class	PointerAnalysisImpl.HModel
class	SmushedAllocationSiteInstanceKeys This class provides instance keys where for a given type T in a CGNode N, there is one "abstract allocation site" instance for all T allocations in node N.
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 InstanceKeyFactory

Modifier and Type	Field and Description
protected InstanceKeyFactory	PropagationCallGraphBuilder.instanceKeyFactory An object that abstracts how to model instances in the heap.

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

Modifier and Type	Method and Description
InstanceKeyFactory	PropagationCallGraphBuilder.getInstanceKeys()

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

Modifier and Type	Method and Description
static InstanceKey	SSAPropagationCallGraphBuilder.getInstanceKeyForPEI(CGNode node, ProgramCounter x, TypeReference type, InstanceKeyFactory ikFactory)
void	PropagationCallGraphBuilder.setInstanceKeys(InstanceKeyFactory keys)

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

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

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

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

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.
class	ZeroXInstanceKeys Flexible class to create InstanceKeys depending on various policies ranging from class-based (i.e.

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

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

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

Subinterfaces of InstanceKeyFactory 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 InstanceKeyFactory

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