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 TagVector2
s. 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.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()