Bug fix...supposed to pass in bsm into Pointer analysis...

[IRC.git] / Robust / src / Analysis / OoOJava / OoOJavaAnalysis.java

diff --git a/Robust/src/Analysis/OoOJava/OoOJavaAnalysis.java b/Robust/src/Analysis/OoOJava/OoOJavaAnalysis.java
index 8586cf34d2f00665b5fbca9780d927587ecb711a..3162ab2295dba576dabe224e6b96bb09227560c6 100644 (file)
--- a/Robust/src/Analysis/OoOJava/OoOJavaAnalysis.java
+++ b/Robust/src/Analysis/OoOJava/OoOJavaAnalysis.java
@@ -185,7 +185,7 @@ public class OoOJavaAnalysis {
     // 5th pass, use disjointness with NO FLAGGED REGIONS
     // to compute taints and effects
     if (state.POINTER) {
-      disjointAnalysisTaints = new Pointer(state, typeUtil, callGraph, rblockRel, liveness);
+      disjointAnalysisTaints = new Pointer(state, typeUtil, callGraph, rblockRel, liveness, buildStateMachines);
       ((Pointer)disjointAnalysisTaints).doAnalysis();
     } else
       disjointAnalysisTaints =
@@ -274,7 +274,7 @@ public class OoOJavaAnalysis {
         writeConflictGraph();
       } catch (IOException e) {}
     }
-    
+    State.logEvent("OoOJavaAnalysis completed");        
   }