public abstract class AbstractDemandPointsTo extends Object implements IDemandPointerAnalysis
Modifier and Type | Field and Description |
---|---|
protected CallGraph |
cg |
protected IClassHierarchy |
cha |
protected HeapModel |
heapModel |
protected MemoryAccessMap |
mam |
protected int |
numNodesTraversed |
protected AnalysisOptions |
options |
Constructor and Description |
---|
AbstractDemandPointsTo(CallGraph cg,
HeapModel model,
MemoryAccessMap mam,
IClassHierarchy cha,
AnalysisOptions options) |
Modifier and Type | Method and Description |
---|---|
CallGraph |
getBaseCallGraph() |
IClassHierarchy |
getClassHierarchy() |
HeapModel |
getHeapModel() |
int |
getNumNodesTraversed() |
int |
getTraversalBudget() |
protected void |
incrementNumNodesTraversed() |
protected void |
setNumNodesTraversed(int traversed) |
protected void |
setTraversalBudget(int traversalBudget) |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getPointsTo
protected final CallGraph cg
protected final HeapModel heapModel
protected final MemoryAccessMap mam
protected final IClassHierarchy cha
protected final AnalysisOptions options
protected int numNodesTraversed
public AbstractDemandPointsTo(CallGraph cg, HeapModel model, MemoryAccessMap mam, IClassHierarchy cha, AnalysisOptions options)
public int getTraversalBudget()
protected void setTraversalBudget(int traversalBudget)
public HeapModel getHeapModel()
getHeapModel
in interface IDemandPointerAnalysis
protected void incrementNumNodesTraversed()
protected void setNumNodesTraversed(int traversed)
public int getNumNodesTraversed()
public CallGraph getBaseCallGraph()
getBaseCallGraph
in interface IDemandPointerAnalysis
public IClassHierarchy getClassHierarchy()
getClassHierarchy
in interface IDemandPointerAnalysis