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

Modifier and Type	Method and Description
CallGraph	getBaseCallGraph()
IClassHierarchy	getClassHierarchy()
HeapModel	getHeapModel()
java.util.Collection<InstanceKey>	getPointsTo(PointerKey pk)

Method Detail

getHeapModel

HeapModel getHeapModel()

getBaseCallGraph

CallGraph getBaseCallGraph()

getClassHierarchy

IClassHierarchy getClassHierarchy()

getPointsTo

java.util.Collection<InstanceKey> getPointsTo(PointerKey pk)