bug fix: heap contexts for call sites were propgated from caller to callee incorrectl...
authorjjenista <jjenista>
Wed, 18 May 2011 23:47:59 +0000 (23:47 +0000)
committerjjenista <jjenista>
Wed, 18 May 2011 23:47:59 +0000 (23:47 +0000)
commit2c0ef63ca84728e9310f99e19bd5742082946d45
tree60a32d534031a6eca112e6c3960da880a022c73d
parentf6546e6d8b39714527624d5935d6c8a94360fb27
bug fix: heap contexts for call sites were propgated from caller to callee incorrectly.  A heap context should propagate from the caller to each possible callee at virtual dispatch... how did this ever work??
Robust/src/Analysis/Disjoint/DisjointAnalysis.java
Robust/src/Analysis/Disjoint/ReachGraph.java
Robust/src/Benchmarks/oooJava/master-makefile
Robust/src/IR/Flat/BCXPointsToCheckVRuntime.java