coins.alias
Class ConstructPointsToGraph

java.lang.Object
  coins.alias.ConstructPointsToGraph

class ConstructPointsToGraph

extends java.lang.Object

This class constructs the points-to graph, the bit matrix representing the points-to relation, implemented as the array of TagVectors. It analyzes the propagation of address values, and, since this is a flow-insensitive analysis, does it repeatedly until the points-to graph saturates (reaches the fixed state). There is no consideration for types; not only pointer types can hold the address values.

Field Summary

protected TagVector	fAddressExternallyVisibles
HirRoot	hirRoot The HirRoot object shared by every module in the program.
IoRoot	ioRootAlias The IoRoot object shared by every module i n the program.

Constructor Summary

(package private)

ConstructPointsToGraph(AliasAnalHir1 pAnal, HirRoot pHirRoot) Creates a new instance of ConstructPointsToGraph.

Method Summary

(package private) TagVector[]

makePointsToGraph(SubpDefinition pSubpDef) Construct the points-to graph.

Methods inherited from class java.lang.Object

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

Field Detail

hirRoot

public final HirRoot hirRoot

The HirRoot object shared by every module in the program.

ioRootAlias

public final IoRoot ioRootAlias

The IoRoot object shared by every module i n the program.

fAddressExternallyVisibles

protected TagVector fAddressExternallyVisibles

Constructor Detail

ConstructPointsToGraph

ConstructPointsToGraph(AliasAnalHir1 pAnal,
                       HirRoot pHirRoot)

Creates a new instance of ConstructPointsToGraph. Some information is passed from the AliasAnalHir1 object to this module.

Parameters:

pAnal - AliasAnalHir1 object, the object that drives the alias analysis.

pHirRoot - HirRoot object shared by every module in the program.

Method Detail

makePointsToGraph

TagVector[] makePointsToGraph(SubpDefinition pSubpDef)

Construct the points-to graph.

Parameters:

pSubpDef - SubpDefinition object nodes contained in which the points-to graph is created for.

Returns:

points-to graph as the array of TagVectors.