Package com.ibm.wala.demandpa.alg

Class AbstractDemandPointsTo

java.lang.Object

com.ibm.wala.demandpa.alg.AbstractDemandPointsTo

All Implemented Interfaces:

IDemandPointerAnalysis

Direct Known Subclasses:

DemandRefinementPointsTo, SimpleDemandPointsTo

public abstract class AbstractDemandPointsTo
extends Object
implements IDemandPointerAnalysis

Abstract super class for demand points-to analysis. Implements basic methods for tracking how much traversal has been done.

Author:

Manu Sridharan

Field Summary

Fields

Modifier and Type	Field	Description
protected final CallGraph	cg
protected final IClassHierarchy	cha
protected final HeapModel	heapModel
protected final MemoryAccessMap	mam
protected int	numNodesTraversed
protected final AnalysisOptions	options

Constructor Summary

Constructors

Constructor	Description
AbstractDemandPointsTo(CallGraph cg, HeapModel model, MemoryAccessMap mam, IClassHierarchy cha, AnalysisOptions options)

Method Summary

Modifier and Type	Method	Description
CallGraph	getBaseCallGraph()
IClassHierarchy	getClassHierarchy()
HeapModel	getHeapModel()
int	getNumNodesTraversed()
int	getTraversalBudget()
protected void	incrementNumNodesTraversed()
protected void	setNumNodesTraversed(int traversed)
protected void	setTraversalBudget(int traversalBudget)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface com.ibm.wala.demandpa.alg.IDemandPointerAnalysis

getPointsTo

Field Details

cg

protected final CallGraph cg

heapModel

protected final HeapModel heapModel

mam

protected final MemoryAccessMap mam

cha

protected final IClassHierarchy cha

options

protected final AnalysisOptions options

numNodesTraversed

protected int numNodesTraversed

Constructor Details

AbstractDemandPointsTo

public AbstractDemandPointsTo(CallGraph cg,
 HeapModel model,
 MemoryAccessMap mam,
 IClassHierarchy cha,
 AnalysisOptions options)

Method Details

getTraversalBudget

public int getTraversalBudget()

setTraversalBudget

protected void setTraversalBudget(int traversalBudget)

getHeapModel

public HeapModel getHeapModel()

Specified by:

getHeapModel in interface IDemandPointerAnalysis

incrementNumNodesTraversed

protected void incrementNumNodesTraversed()

setNumNodesTraversed

protected void setNumNodesTraversed(int traversed)

getNumNodesTraversed

public int getNumNodesTraversed()

getBaseCallGraph

public CallGraph getBaseCallGraph()

Specified by:

getBaseCallGraph in interface IDemandPointerAnalysis

getClassHierarchy

public IClassHierarchy getClassHierarchy()

Specified by:

getClassHierarchy in interface IDemandPointerAnalysis