coins.alias.alias2
Class 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.

Field Summary

(package private) java.util.Map	fElemToMask
(package private) java.util.Map	fHIRToLoc
(package private) TagVector2[]	fLocalRootVects
(package private) java.util.Map	fmallocToLoc
(package private) TagVector2[]	fPointsTo
(package private) java.util.Map	fSubscriptToMask
(package private) 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.

Constructor Summary

(package private)

ConstructPointsToGraph2(SubpDefinition pSubpDef, AliasAnalHir2 pAnal) Creates a new instance of ConstructPointsToGraph2.

Method Summary

(package private) void

printPointsToGraph()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

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

Constructor Detail

ConstructPointsToGraph2

ConstructPointsToGraph2(SubpDefinition pSubpDef,
                        AliasAnalHir2 pAnal)

Creates a new instance of ConstructPointsToGraph2. Some information is passed from the AliasAnalHir2 object to this module.

Parameters:

pAnal - AliasAnalHir2 object, the object that drives the alias analysis.

Method Detail

printPointsToGraph

void printPointsToGraph()