Interface IDemandPointerAnalysis

All Known Implementing Classes:

AbstractDemandPointsTo, DemandRefinementPointsTo, SimpleDemandPointsTo

public interface IDemandPointerAnalysis

Basic interface for a demand-driven points-to analysis.

Author:

Manu Sridharan

Method Summary

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

Method Details

getHeapModel

HeapModel getHeapModel()

getBaseCallGraph

CallGraph getBaseCallGraph()

getClassHierarchy

IClassHierarchy getClassHierarchy()

getPointsTo

Collection<InstanceKey> getPointsTo(PointerKey pk)