com.ibm.wala.ipa.callgraph.propagation
Interface PointerAnalysis

All Known Implementing Classes:

AbstractPointerAnalysis, AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl, CrossLanguageSSAPropagationCallGraphBuilder.CrossLanguagePointerAnalysisImpl, JSSSAPropagationCallGraphBuilder.JSPointerAnalysisImpl, PointerAnalysisImpl, TypeBasedPointerAnalysis

public interface PointerAnalysis

Abstract definition of pointer analysis

Method Summary

IClassHierarchy	getClassHierarchy()
HeapGraph	getHeapGraph()
HeapModel	getHeapModel()
OrdinalSetMapping<InstanceKey>	getInstanceKeyMapping()
java.util.Collection<InstanceKey>	getInstanceKeys()
java.util.Collection<PointerKey>	getPointerKeys()
OrdinalSet<InstanceKey>	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

OrdinalSet<InstanceKey> 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 getHeapGraph()

Returns:

a graph view of the pointer analysis solution

getInstanceKeyMapping

OrdinalSetMapping<InstanceKey> getInstanceKeyMapping()

Returns:

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

getPointerKeys

java.util.Collection<PointerKey> getPointerKeys()

Returns:

all pointer keys known

getInstanceKeys

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