Package com.ibm.wala.ipa.callgraph.propagation

Interface InstanceKey

All Superinterfaces:

ContextItem

All Known Subinterfaces:

InstanceKeyWithNode, ObjectVertex

All Known Implementing Classes:

AbstractTypeInNode, AllocationSite, AllocationSiteInNode, ConcreteTypeKey, ConstantKey, CreationSiteVertex, FuncVertex, GlobalObjectKey, GlobalVertex, MultiNewArrayInNode, NormalAllocationInNode, ScopeMappingInstanceKeys.ScopeMappingInstanceKey, SmushedAllocationSiteInNode, StringConstantCharArray, ZeroLengthArrayInNode

public interface InstanceKey
extends ContextItem

An InstanceKey serves as the representative for an equivalence class of objects in the heap, that can be pointed to.

For example, for 0-CFA, an InstanceKey would embody an <IClass>... we model all instances of a particular class

For 0-1-CFA, an InstanceKey could be <IMethod,statement #>, representing a particular allocation statement in a particular method.

Nested Class Summary

Nested classes/interfaces inherited from interface com.ibm.wala.ipa.callgraph.ContextItem

ContextItem.Value<T>

Method Summary

Modifier and Type	Method	Description
IClass	getConcreteType()	For now, we assert that each InstanceKey represents a set of classes which are all of the same concrete type (modulo the fact that all arrays of references are considered concrete type []Object;)
Iterator<Pair<CGNode,NewSiteReference>>	getCreationSites(CallGraph CG)	Get the creation sites of this, i.e., the statements that may allocate objects represented by this.

Method Details

getConcreteType

IClass getConcreteType()

For now, we assert that each InstanceKey represents a set of classes which are all of the same concrete type (modulo the fact that all arrays of references are considered concrete type []Object;)

getCreationSites

Iterator<Pair<CGNode,NewSiteReference>> getCreationSites(CallGraph CG)

Get the creation sites of this, i.e., the statements that may allocate objects represented by this. A creation site is a pair (n,s), where n is the containing CGNode in the given CallGraph CG and s is the allocating NewSiteReference.