public interface IDemandPointerAnalysis
Modifier and Type | Method and Description |
---|---|
CallGraph |
getBaseCallGraph() |
IClassHierarchy |
getClassHierarchy() |
HeapModel |
getHeapModel() |
Collection<InstanceKey> |
getPointsTo(PointerKey pk) |
HeapModel getHeapModel()
CallGraph getBaseCallGraph()
IClassHierarchy getClassHierarchy()
Collection<InstanceKey> getPointsTo(PointerKey pk)