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 and Description
SimpleDemandPointsTo(CallGraph cg, HeapModel model, MemoryAccessMap fam, IClassHierarchy cha, AnalysisOptions options)

Method Summary

Modifier and Type	Method and Description
java.util.Collection<InstanceKey>	getPointsTo(PointerKey pk)

Methods inherited from class com.ibm.wala.demandpa.alg.AbstractDemandPointsTo

getBaseCallGraph, getClassHierarchy, getHeapModel, getNumNodesTraversed, getTraversalBudget, incrementNumNodesTraversed, setNumNodesTraversed, setTraversalBudget

Methods inherited from class java.lang.Object

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

Constructor Detail

SimpleDemandPointsTo

public SimpleDemandPointsTo(CallGraph cg,
                            HeapModel model,
                            MemoryAccessMap fam,
                            IClassHierarchy cha,
                            AnalysisOptions options)

Method Detail

getPointsTo

public java.util.Collection<InstanceKey> getPointsTo(PointerKey pk)
                                              throws java.lang.IllegalArgumentException,
                                                     com.ibm.wala.util.debug.UnimplementedError

Throws:

java.lang.IllegalArgumentException

com.ibm.wala.util.debug.UnimplementedError