Whenever running ownership analysis, spit out a file with

all detected aliases between parameters and/or allocation
sites.

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index cbcbd8933794681890198db259e32e0414cc6206..89748b90a596da4fd682eee3b902fc80b1c90685 100644 (file)
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -438,6 +438,7 @@ public class Main {
          int allocationDepth  = 3;
          OwnershipAnalysis oa =
              new OwnershipAnalysis( state, callGraph, allocationDepth );
+         oa.writeAllAliases( "identifiedAliases.txt" );
       }
 
       System.exit(0);