new analysis for array references that create no new reachability is in, and correctl...

[IRC.git] / Robust / src / Analysis / MLP / MLPAnalysis.java

diff --git a/Robust/src/Analysis/MLP/MLPAnalysis.java b/Robust/src/Analysis/MLP/MLPAnalysis.java
index 64cea77078af1a1e96aed753fc245ac4ce1e16e7..c031a12a221b1a250771380a9f881cce6dc53f54 100644 (file)
--- a/Robust/src/Analysis/MLP/MLPAnalysis.java
+++ b/Robust/src/Analysis/MLP/MLPAnalysis.java
@@ -213,11 +213,15 @@ public class MLPAnalysis {
     
     // disjoint analysis with a set of flagged allocation sites of live-in variable
        try {
-         OwnershipAnalysis oa2 = new OwnershipAnalysis(state, tu, callGraph, new Liveness(),
-                               state.OWNERSHIPALLOCDEPTH, false,
-                               false, state.OWNERSHIPALIASFILE,
-                               state.METHODEFFECTS,
-                               mapMethodContextToLiveInAllocationSiteSet);
+         OwnershipAnalysis oa2 = new OwnershipAnalysis(state, 
+                                                        tu, 
+                                                        callGraph, 
+                                                        ownAnalysis.liveness,
+                                                        ownAnalysis.arrayReferencees,
+                                                        state.OWNERSHIPALLOCDEPTH, false,
+                                                        false, state.OWNERSHIPALIASFILE,
+                                                        state.METHODEFFECTS,
+                                                        mapMethodContextToLiveInAllocationSiteSet);
                // debug
                methItr = oa2.descriptorsToAnalyze.iterator();
                while (methItr.hasNext()) {