Class AbstractPointerAnalysis

java.lang.Object

com.ibm.wala.ipa.callgraph.propagation.AbstractPointerAnalysis

All Implemented Interfaces:

PointerAnalysis<InstanceKey>

Direct Known Subclasses:

PointerAnalysisImpl, TypeBasedPointerAnalysis

public abstract class AbstractPointerAnalysis
extends Object
implements PointerAnalysis<InstanceKey>

Abstract superclass for PointerAnalysis implementations.

Field Summary

Fields

Modifier and Type	Field	Description
protected final MutableMapping<InstanceKey>	instanceKeys	bijection from InstanceKey <=> Integer

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	AbstractPointerAnalysis(CallGraph cg, MutableMapping<InstanceKey> instanceKeys)

Method Summary

Modifier and Type	Method	Description
protected CallGraph	getCallGraph()
HeapGraph<InstanceKey>	getHeapGraph()
OrdinalSetMapping<InstanceKey>	getInstanceKeyMapping()
Collection<InstanceKey>	getInstanceKeys()

Methods inherited from class Object

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

Methods inherited from interface PointerAnalysis

getClassHierarchy, getHeapModel, getPointerKeys, getPointsToSet, isFiltered

Field Details

instanceKeys

protected final MutableMapping<InstanceKey> instanceKeys

bijection from InstanceKey <=> Integer

Constructor Details

AbstractPointerAnalysis

protected AbstractPointerAnalysis(CallGraph cg,
 MutableMapping<InstanceKey> instanceKeys)

Method Details

getHeapGraph

public HeapGraph<InstanceKey> getHeapGraph()

Specified by:

getHeapGraph in interface PointerAnalysis<InstanceKey>

Returns:

a graph view of the pointer analysis solution

getCallGraph

protected CallGraph getCallGraph()

getInstanceKeys

public Collection<InstanceKey> getInstanceKeys()

Specified by:

getInstanceKeys in interface PointerAnalysis<InstanceKey>

Returns:

all instance keys known

getInstanceKeyMapping

public OrdinalSetMapping<InstanceKey> getInstanceKeyMapping()

Specified by:

getInstanceKeyMapping in interface PointerAnalysis<InstanceKey>

Returns:

the bijection between InstanceKey <=> Integer that defines the interpretation of points-to-sets.