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

Abstract superclass for PointerAnalysis implementations.

Field Summary

Fields

Modifier and Type	Field and Description
protected com.ibm.wala.util.intset.MutableMapping<InstanceKey>	instanceKeys bijection from InstanceKey <=> Integer

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AbstractPointerAnalysis(CallGraph cg, com.ibm.wala.util.intset.MutableMapping<InstanceKey> instanceKeys)

Method Summary

Modifier and Type	Method and Description
protected CallGraph	getCallGraph()
HeapGraph<InstanceKey>	getHeapGraph()
com.ibm.wala.util.intset.OrdinalSetMapping<InstanceKey>	getInstanceKeyMapping()
java.util.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 Detail

instanceKeys

protected final com.ibm.wala.util.intset.MutableMapping<InstanceKey> instanceKeys

bijection from InstanceKey <=> Integer

Constructor Detail

AbstractPointerAnalysis

protected AbstractPointerAnalysis(CallGraph cg,
                                  com.ibm.wala.util.intset.MutableMapping<InstanceKey> instanceKeys)

Method Detail

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 java.util.Collection<InstanceKey> getInstanceKeys()

Specified by:

getInstanceKeys in interface PointerAnalysis<InstanceKey>

Returns:

all instance keys known

getInstanceKeyMapping

public com.ibm.wala.util.intset.OrdinalSetMapping<InstanceKey> getInstanceKeyMapping()

Specified by:

getInstanceKeyMapping in interface PointerAnalysis<InstanceKey>

Returns:

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