- All Known Subinterfaces:
- FilteredPointerKey, InstanceFieldPointerKey
- All Known Implementing Classes:
- AbstractFieldPointerKey, AbstractLocalPointerKey, AbstractPointerKey, ArrayContentsKey, ArrayLengthKey, AstGlobalPointerKey, ExceptionReturnValueKey, InstanceFieldKey, InstanceFieldKeyWithFilter, 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