bug fix...can now analyze specjbb...~44,000 lines of source code files in 42 seconds...

diff --git a/Robust/src/Analysis/Pointer/Pointer.java b/Robust/src/Analysis/Pointer/Pointer.java
index abc70f9b3e579f7be4926b755cc08987b9723627..fcff4a50be00601138b0321d43422d9910d71ec5 100644 (file)
--- a/Robust/src/Analysis/Pointer/Pointer.java
+++ b/Robust/src/Analysis/Pointer/Pointer.java
@@ -130,7 +130,7 @@ public class Pointer {
     }
 
     //DEBUG
-    if (true) {
+    if (false) {
       int debugindex=0;
       for(Map.Entry<BBlock, Graph> e:bbgraphMap.entrySet()) {
        Graph g=e.getValue();
@@ -944,9 +944,11 @@ public class Pointer {
       if (e.dst==singleNode) {
        //Need to get original edge so that predicate will be correct
        Edge match=graph.getMatch(e);
-       Edge rewrite=match.rewrite(singleNode, summaryNode);
-       newDelta.removeEdge(match);
-       mergeCallEdge(graph, newDelta, rewrite);
+       if (match!=null) {
+         Edge rewrite=match.rewrite(singleNode, summaryNode);
+         newDelta.removeEdge(match);
+         mergeCallEdge(graph, newDelta, rewrite);
+       }
       }
     }
   }