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.

Author:

Manu Sridharan

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

Methods

Modifier and Type	Method and Description
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 Collection<InstanceKey> getPointsTo(PointerKey pk)
                                    throws IllegalArgumentException,
                                           com.ibm.wala.util.debug.UnimplementedError

Throws:

IllegalArgumentException

com.ibm.wala.util.debug.UnimplementedError