Package com.ibm.wala.ipa.callgraph.propagation

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 java.lang.Object

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

Methods inherited from interface com.ibm.wala.ipa.callgraph.propagation.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.