- 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