Package com.ibm.wala.demandpa.alg
Interface IDemandPointerAnalysis
-
- All Known Implementing Classes:
AbstractDemandPointsTo
,DemandRefinementPointsTo
,SimpleDemandPointsTo
public interface IDemandPointerAnalysis
Basic interface for a demand-driven points-to analysis.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description CallGraph
getBaseCallGraph()
IClassHierarchy
getClassHierarchy()
HeapModel
getHeapModel()
Collection<InstanceKey>
getPointsTo(PointerKey pk)
-
-
-
Method Detail
-
getHeapModel
HeapModel getHeapModel()
-
getBaseCallGraph
CallGraph getBaseCallGraph()
-
getClassHierarchy
IClassHierarchy getClassHierarchy()
-
getPointsTo
Collection<InstanceKey> getPointsTo(PointerKey pk)
-
-