com.ibm.wala.ipa.callgraph.propagation
Interface PointerKey

All Known Subinterfaces:

FilteredPointerKey, InstanceFieldPointerKey

All Known Implementing Classes:

AbstractFieldPointerKey, AbstractLocalPointerKey, AbstractPointerKey, ArrayInstanceKey, ArrayLengthKey, AstGlobalPointerKey, AstJavaSSAPropagationCallGraphBuilder.EnclosingObjectReferenceKey, ExceptionReturnValueKey, InstanceFieldKey, InstanceFieldKeyWithFilter, JSSyntheticParameterKey, LocalPointerKey, LocalPointerKeyWithFilter, NodeKey, ObjectPropertyCatalogKey, PropagationCallGraphBuilder.TypedPointerKey, ReflectedFieldPointerKey, 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 pair, where the int represents an SSA value number. This PointerKey would represent all values of the pointer of a particular local variable. - a , 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 - pair