big checkin, lots of call site transfer bug fixes, analysis runs for a tiny example...
authorjjenista <jjenista>
Wed, 10 Mar 2010 00:28:14 +0000 (00:28 +0000)
committerjjenista <jjenista>
Wed, 10 Mar 2010 00:28:14 +0000 (00:28 +0000)
commit7ac2c4e25fb8573bf43e40b9e36bf71bc6cd56fc
tree36d360a3ae3807be962bc376fe51599362a70a20
parentcc80c71130e4c0c0d82acbad0928ca2b295657ce
big checkin, lots of call site transfer bug fixes, analysis runs for a tiny example correctly
Robust/src/Analysis/Disjoint/AllocSite.java
Robust/src/Analysis/Disjoint/DisjointAnalysis.java
Robust/src/Analysis/Disjoint/ExistPred.java
Robust/src/Analysis/Disjoint/ExistPredSet.java
Robust/src/Analysis/Disjoint/HeapRegionNode.java
Robust/src/Analysis/Disjoint/ReachGraph.java
Robust/src/Tests/disjoint/predicateTest2/makefile