com.ibm.wala.ipa.callgraph.propagation

Interface PointerKey

All Known Subinterfaces:

FilteredPointerKey, InstanceFieldPointerKey

All Known Implementing Classes:

AbstractFieldPointerKey, AbstractLocalPointerKey, AbstractPointerKey, ArrayContentsKey, ArrayLengthKey, ExceptionReturnValueKey, InstanceFieldKey, InstanceFieldKeyWithFilter, LocalPointerKey, LocalPointerKeyWithFilter, NodeKey, PropagationCallGraphBuilder.TypedPointerKey, ReturnValueKey, ReturnValueKeyWithFilter, RTASelectorKey, StaticFieldKey

public interface PointerKey

A PointerKey instance serves as the representative for an equivalence class of pointers. (or more generally ...locations, if we allow primitives).

For example, a PointerKey for 0-CFA might be - a <CGNode,int> pair, where the int represents an SSA value number. This PointerKey would represent all values of the pointer of a particular local variable. - a <FieldReference>, representing the set of instances of a given field in the heap, or of a particular static field.

A PointerKey for 0-1-CFA, with 1-level of InstanceVar context in the Grove et al. terminology, would instead of FieldReference, use a - <InstanceKey, FieldReference> pair