From 83073aa19a4332a18f9a57403f569a087f2caa1c Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Wed, 23 Mar 2011 09:43:45 +0000
Subject: [PATCH] bug fix

---
 Robust/src/Analysis/Pointer/Edge.java    | 1 +
 Robust/src/Analysis/Pointer/Pointer.java | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

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();
-- 
2.34.1