Interface PointerKey

All Known Subinterfaces:

FilteredPointerKey, InstanceFieldPointerKey

All Known Implementing Classes:

AbstractFieldPointerKey, AbstractLocalPointerKey, AbstractPointerKey, ArgVertex, ArrayContentsKey, ArrayLengthKey, AstGlobalPointerKey, AstJavaSSAPropagationCallGraphBuilder.EnclosingObjectReferenceKey, ExceptionReturnValueKey, InstanceFieldKey, InstanceFieldKeyWithFilter, JSSyntheticParameterKey, LocalPointerKey, LocalPointerKeyWithFilter, NodeKey, ObjectPropertyCatalogKey, PropagationCallGraphBuilder.TypedPointerKey, PropVertex, PrototypeFieldVertex, ReflectedFieldPointerKey, ReturnValueKey, ReturnValueKeyWithFilter, RetVertex, RTASelectorKey, StaticFieldKey, TransitivePrototypeKey, VarVertex

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