coins.alias
クラス 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.


フィールドの概要
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.
 
コンストラクタの概要
(パッケージプライベート) ConstructPointsToGraph(AliasAnalHir1 pAnal, HirRoot pHirRoot)
          Creates a new instance of ConstructPointsToGraph.
 
メソッドの概要
(パッケージプライベート)  TagVector[] makePointsToGraph(SubpDefinition pSubpDef)
          Construct the points-to graph.
 
クラス java.lang.Object から継承したメソッド
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

フィールドの詳細

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
コンストラクタの詳細

ConstructPointsToGraph

ConstructPointsToGraph(AliasAnalHir1 pAnal,
                       HirRoot pHirRoot)
Creates a new instance of ConstructPointsToGraph. Some information is passed from the AliasAnalHir1 object to this module.

パラメータ:
pAnal - AliasAnalHir1 object, the object that drives the alias analysis.
pHirRoot - HirRoot object shared by every module in the program.
メソッドの詳細

makePointsToGraph

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

パラメータ:
pSubpDef - SubpDefinition object nodes contained in which the points-to graph is created for.
戻り値:
points-to graph as the array of TagVectors.