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

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Details

SimpleDemandPointsTo

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

Method Details

getPointsTo

public Collection<InstanceKey> getPointsTo(PointerKey pk)
                                    throws IllegalArgumentException,
UnimplementedError

Throws:

IllegalArgumentException

UnimplementedError