IDemandPointerAnalysis (wala 1.6.5-SNAPSHOT API)

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)