changes toward keeping globally unique identifier for disjoint analysis result
authoryeom <yeom>
Tue, 3 Nov 2009 00:28:20 +0000 (00:28 +0000)
committeryeom <yeom>
Tue, 3 Nov 2009 00:28:20 +0000 (00:28 +0000)
commit2921ea56913d49f87d61877fe81bd740e11a597d
tree25cdda345944634015c4c2b6d073ad279faef74f
parent00644dca5130d965953974c0625ed09114cbb57c
changes toward keeping globally unique identifier for disjoint analysis result
+ calculating reachability states for each stall sites and child SESE's live-in variables.
Robust/src/Analysis/MLP/MLPAnalysis.java
Robust/src/Analysis/MLP/StallSite.java
Robust/src/Analysis/OwnershipAnalysis/HeapRegionNode.java
Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java