Interface PointerAnalysis<T extends InstanceKey>
-
- All Known Implementing Classes:
AbstractPointerAnalysis
,AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl
,CrossLanguageSSAPropagationCallGraphBuilder.CrossLanguagePointerAnalysisImpl
,PointerAnalysisImpl
,TypeBasedPointerAnalysis
public interface PointerAnalysis<T extends InstanceKey>
Abstract definition of pointer analysis
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description IClassHierarchy
getClassHierarchy()
HeapGraph<T>
getHeapGraph()
HeapModel
getHeapModel()
OrdinalSetMapping<T>
getInstanceKeyMapping()
Collection<T>
getInstanceKeys()
Iterable<PointerKey>
getPointerKeys()
OrdinalSet<T>
getPointsToSet(PointerKey key)
boolean
isFiltered(PointerKey pk)
did the pointer analysis use a type filter for a given points-to set? (this is ugly).
-
-
-
Method Detail
-
getPointsToSet
OrdinalSet<T> getPointsToSet(PointerKey key)
- Parameters:
key
- representative of an equivalence class of pointers- Returns:
- Set of InstanceKey, representing the instance abstractions that define the points-to set computed for the pointer key
-
getHeapModel
HeapModel getHeapModel()
- Returns:
- an Object that determines how to model abstract locations in the heap.
-
getInstanceKeyMapping
OrdinalSetMapping<T> getInstanceKeyMapping()
- Returns:
- the bijection between InstanceKey <=> Integer that defines the interpretation of points-to-sets.
-
getPointerKeys
Iterable<PointerKey> getPointerKeys()
- Returns:
- all pointer keys known
-
getInstanceKeys
Collection<T> getInstanceKeys()
- Returns:
- all instance keys known
-
isFiltered
boolean isFiltered(PointerKey pk)
did the pointer analysis use a type filter for a given points-to set? (this is ugly).
-
getClassHierarchy
IClassHierarchy getClassHierarchy()
-
-