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.

Author:

Manu Sridharan

Method Summary

Methods

Modifier and Type	Method and 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)