com.ibm.wala.ipa.callgraph.propagation

Interface PointerAnalysis<T extends InstanceKey>

All Known Implementing Classes:

AbstractPointerAnalysis, PointerAnalysisImpl, TypeBasedPointerAnalysis

public interface PointerAnalysis<T extends InstanceKey>

Abstract definition of pointer analysis

Method Summary

Methods

Modifier and Type	Method and Description
IClassHierarchy	getClassHierarchy()
HeapGraph<T>	getHeapGraph()
HeapModel	getHeapModel()
com.ibm.wala.util.intset.OrdinalSetMapping<T>	getInstanceKeyMapping()
Collection<T>	getInstanceKeys()
Iterable<PointerKey>	getPointerKeys()
com.ibm.wala.util.intset.OrdinalSet<T>	getPointsToSet(PointerKey key)
boolean	isFiltered(PointerKey pk) did the pointer analysis use a type filter for a given points-to set? (this is ugly).

Method Detail

getPointsToSet

com.ibm.wala.util.intset.OrdinalSet<T> getPointsToSet(PointerKey key)

Parameters:

key - representative of an equivalence class of pointers

Returns:

Set of InstanceKey, representing the instance abstractions that define the points-to set computed for the pointer key

getHeapModel

HeapModel getHeapModel()

Returns:

an Object that determines how to model abstract locations in the heap.

getHeapGraph

HeapGraph<T> getHeapGraph()

Returns:

a graph view of the pointer analysis solution

getInstanceKeyMapping

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

Returns:

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

getPointerKeys

Iterable<PointerKey> getPointerKeys()

Returns:

all pointer keys known

getInstanceKeys

Collection<T> getInstanceKeys()

Returns:

all instance keys known

isFiltered

boolean isFiltered(PointerKey pk)

did the pointer analysis use a type filter for a given points-to set? (this is ugly).

getClassHierarchy

IClassHierarchy getClassHierarchy()