|
||||||||||
前のクラス 次のクラス | フレームあり フレームなし | |||||||||
概要: 入れ子 | フィールド | コンストラクタ | メソッド | 詳細: フィールド | コンストラクタ | メソッド |
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 TagVector
s. 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.
TagVector
s.
|
||||||||||
前のクラス 次のクラス | フレームあり フレームなし | |||||||||
概要: 入れ子 | フィールド | コンストラクタ | メソッド | 詳細: フィールド | コンストラクタ | メソッド |