porting effects analysis to new disjoint analysis
authorjjenista <jjenista>
Wed, 26 May 2010 22:21:57 +0000 (22:21 +0000)
committerjjenista <jjenista>
Wed, 26 May 2010 22:21:57 +0000 (22:21 +0000)
commite455fec2607fd94bb99bc831089ef314a01cf060
treeb0580d9008037618fe1bea79250bb2ffa8ae3206
parentec7f07335da80346037eabf67e2de868af331ffb
porting effects analysis to new disjoint analysis
Robust/src/Analysis/Disjoint/AllocSite.java
Robust/src/Analysis/Disjoint/DisjointAnalysis.java
Robust/src/Analysis/Disjoint/HeapRegionNode.java
Robust/src/Analysis/Disjoint/ReachGraph.java
Robust/src/Analysis/Disjoint/ReachSet.java
Robust/src/Analysis/Disjoint/RefEdge.java
Robust/src/Tests/disjoint/predicateTest3/makefile
Robust/src/Tests/disjoint/simple/test.java