coins.alias.alias2
クラス ConstructPointsToGraph2

java.lang.Object
  |
  +--coins.alias.alias2.ConstructPointsToGraph2

class ConstructPointsToGraph2
extends java.lang.Object

This class constructs the points-to graph, the bit matrix representing the points-to relation, implemented as the array of TagVector2s. It analyzes the propagation of address values, tracing the subprogram from top to bottom. There is no consideration for types; not only pointer types can hold the address values.


フィールドの概要
(パッケージプライベート)  java.util.Map fElemToMask
           
(パッケージプライベート)  java.util.Map fHIRToLoc
           
(パッケージプライベート)  TagVector2[] fLocalRootVects
           
(パッケージプライベート)  java.util.Map fmallocToLoc
           
(パッケージプライベート)  TagVector2[] fPointsTo
           
(パッケージプライベート)  java.util.Map fSubscriptToMask
           
(パッケージプライベート)  java.util.Map fVarToLoc
           
 HirRoot hirRoot
          The HirRoot object shared by every module in the program.
 IoRoot ioRoot
          The IoRoot object shared by every module in the program.
 
コンストラクタの概要
(パッケージプライベート) ConstructPointsToGraph2(SubpDefinition pSubpDef, AliasAnalHir2 pAnal)
          Creates a new instance of ConstructPointsToGraph2.
 
メソッドの概要
(パッケージプライベート)  void printPointsToGraph()
           
 
クラス java.lang.Object から継承したメソッド
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

フィールドの詳細

fHIRToLoc

java.util.Map fHIRToLoc

fPointsTo

TagVector2[] fPointsTo

hirRoot

public final HirRoot hirRoot
The HirRoot object shared by every module in the program.


ioRoot

public final IoRoot ioRoot
The IoRoot object shared by every module in the program.


fVarToLoc

java.util.Map fVarToLoc

fSubscriptToMask

java.util.Map fSubscriptToMask

fElemToMask

java.util.Map fElemToMask

fmallocToLoc

java.util.Map fmallocToLoc

fLocalRootVects

TagVector2[] fLocalRootVects
コンストラクタの詳細

ConstructPointsToGraph2

ConstructPointsToGraph2(SubpDefinition pSubpDef,
                        AliasAnalHir2 pAnal)
Creates a new instance of ConstructPointsToGraph2. Some information is passed from the AliasAnalHir2 object to this module.

パラメータ:
pAnal - AliasAnalHir2 object, the object that drives the alias analysis.
メソッドの詳細

printPointsToGraph

void printPointsToGraph()