|
||||||||||
| 前のクラス 次のクラス | フレームあり フレームなし | |||||||||
| 概要: 入れ子 | フィールド | コンストラクタ | メソッド | 詳細: フィールド | コンストラクタ | メソッド | |||||||||
java.lang.Object | +--coins.alias.ConstructPointsToGraph
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 |
| フィールドの詳細 |
public final HirRoot hirRoot
HirRoot object shared by every module
in the program.
public final IoRoot ioRootAlias
IoRoot object shared by every module i
n the program.
protected TagVector fAddressExternallyVisibles
| コンストラクタの詳細 |
ConstructPointsToGraph(AliasAnalHir1 pAnal,
HirRoot pHirRoot)
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.| メソッドの詳細 |
TagVector[] makePointsToGraph(SubpDefinition pSubpDef)
pSubpDef - SubpDefinition object nodes
contained in which the points-to graph is created for.
TagVectors.
|
||||||||||
| 前のクラス 次のクラス | フレームあり フレームなし | |||||||||
| 概要: 入れ子 | フィールド | コンストラクタ | メソッド | 詳細: フィールド | コンストラクタ | メソッド | |||||||||