public class SimpleDemandPointsTo extends AbstractDemandPointsTo
cg, cha, heapModel, mam, numNodesTraversed, options
Constructor and Description |
---|
SimpleDemandPointsTo(CallGraph cg,
HeapModel model,
MemoryAccessMap fam,
IClassHierarchy cha,
AnalysisOptions options) |
Modifier and Type | Method and Description |
---|---|
Collection<InstanceKey> |
getPointsTo(PointerKey pk) |
getBaseCallGraph, getClassHierarchy, getHeapModel, getNumNodesTraversed, getTraversalBudget, incrementNumNodesTraversed, setNumNodesTraversed, setTraversalBudget
public SimpleDemandPointsTo(CallGraph cg, HeapModel model, MemoryAccessMap fam, IClassHierarchy cha, AnalysisOptions options)
public Collection<InstanceKey> getPointsTo(PointerKey pk) throws IllegalArgumentException, UnimplementedError