restate inaccessible vars for stall site so facts get joined properly
authorjjenista <jjenista>
Mon, 28 Jun 2010 22:21:43 +0000 (22:21 +0000)
committerjjenista <jjenista>
Mon, 28 Jun 2010 22:21:43 +0000 (22:21 +0000)
commit81932de2d62a7e354ce7d86a0619c33637ae9ae8
tree81b824440406051954c2996187ca6165b88864ad
parent23ed1b574170f10446ad75a98004ae0d85abb2c0
restate inaccessible vars for stall site so facts get joined properly
Robust/src/Analysis/Disjoint/DisjointAnalysis.java
Robust/src/Analysis/Disjoint/ReachGraph.java
Robust/src/Analysis/OoOJava/RBlockStatusAnalysis.java
Robust/src/Tests/disjoint/taintTest1/makefile