Package com.ibm.wala.demandpa.alg
Class SimpleDemandPointsTo
- java.lang.Object
-
- com.ibm.wala.demandpa.alg.AbstractDemandPointsTo
-
- com.ibm.wala.demandpa.alg.SimpleDemandPointsTo
-
- All Implemented Interfaces:
IDemandPointerAnalysis
public class SimpleDemandPointsTo extends AbstractDemandPointsTo
Purely field-based, context-insensitive demand-driven points-to analysis with very simple implementation.
-
-
Field Summary
-
Fields inherited from class com.ibm.wala.demandpa.alg.AbstractDemandPointsTo
cg, cha, heapModel, mam, numNodesTraversed, options
-
-
Constructor Summary
Constructors Constructor Description SimpleDemandPointsTo(CallGraph cg, HeapModel model, MemoryAccessMap fam, IClassHierarchy cha, AnalysisOptions options)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Collection<InstanceKey>
getPointsTo(PointerKey pk)
-
Methods inherited from class com.ibm.wala.demandpa.alg.AbstractDemandPointsTo
getBaseCallGraph, getClassHierarchy, getHeapModel, getNumNodesTraversed, getTraversalBudget, incrementNumNodesTraversed, setNumNodesTraversed, setTraversalBudget
-
-
-
-
Constructor Detail
-
SimpleDemandPointsTo
public SimpleDemandPointsTo(CallGraph cg, HeapModel model, MemoryAccessMap fam, IClassHierarchy cha, AnalysisOptions options)
-
-
Method Detail
-
getPointsTo
public Collection<InstanceKey> getPointsTo(PointerKey pk) throws IllegalArgumentException, UnimplementedError
-
-