From: jjenista <jjenista>
Date: Tue, 15 Apr 2008 20:50:25 +0000 (+0000)
Subject: Whenever running ownership analysis, spit out a file with
X-Git-Tag: preEdgeChange~156
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=c7127938ed617ca4b435335566c9ffa03e87a742;p=IRC.git

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 cbcbd893..89748b90 100644
--- 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);