public class TypeBasedPointerAnalysis extends AbstractPointerAnalysis
instanceKeys
Modifier and Type | Method and Description |
---|---|
IClassHierarchy |
getClassHierarchy() |
HeapModel |
getHeapModel() |
Collection<PointerKey> |
getPointerKeys() |
OrdinalSet<InstanceKey> |
getPointsToSet(PointerKey key) |
boolean |
isFiltered(PointerKey pk)
did the pointer analysis use a type filter for a given points-to set?
(this is ugly).
|
static TypeBasedPointerAnalysis |
make(AnalysisOptions options,
Collection<IClass> klasses,
CallGraph cg) |
getCallGraph, getHeapGraph, getInstanceKeyMapping, getInstanceKeys
public static TypeBasedPointerAnalysis make(AnalysisOptions options, Collection<IClass> klasses, CallGraph cg) throws AssertionError
AssertionError
public OrdinalSet<InstanceKey> getPointsToSet(PointerKey key) throws IllegalArgumentException
key
- representative of an equivalence class of pointersIllegalArgumentException
public HeapModel getHeapModel()
public Collection<PointerKey> getPointerKeys()
public boolean isFiltered(PointerKey pk)
PointerAnalysis
public IClassHierarchy getClassHierarchy()