From: bdemsky <bdemsky>
Date: Wed, 23 Mar 2011 09:43:45 +0000 (+0000)
Subject: bug fix
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=83073aa19a4332a18f9a57403f569a087f2caa1c;p=IRC.git

bug fix
---

diff --git a/Robust/src/Analysis/Pointer/Edge.java b/Robust/src/Analysis/Pointer/Edge.java
index 854c841d..73497932 100644
--- a/Robust/src/Analysis/Pointer/Edge.java
+++ b/Robust/src/Analysis/Pointer/Edge.java
@@ -252,6 +252,7 @@ public class Edge {
     e.src=src;
     e.srcvar=srcvar;
     e.dst=dst;
+    e.taints=taints;
     int val=1;
     if (dst.isSummary())
       val=val<<1;
diff --git a/Robust/src/Analysis/Pointer/Pointer.java b/Robust/src/Analysis/Pointer/Pointer.java
index 51e35ec1..07b57389 100644
--- a/Robust/src/Analysis/Pointer/Pointer.java
+++ b/Robust/src/Analysis/Pointer/Pointer.java
@@ -171,7 +171,7 @@ public class Pointer implements HeapAnalysis{
     }
 
     //DEBUG
-    if (false) {
+    if (true) {
       int debugindex=0;
       for(Map.Entry<BBlock, Graph> e:bbgraphMap.entrySet()) {
 	Graph g=e.getValue();