From: jjenista <jjenista>
Date: Thu, 18 Sep 2008 20:01:54 +0000 (+0000)
Subject: changed analysis to recognize strings as immutable, aliases in WebServerTag no longer... 
X-Git-Tag: buildscript^7~100
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=58c007bf44f5894f506abea25e2a2f736f08bd67;p=IRC.git

changed analysis to recognize strings as immutable, aliases in WebServerTag no longer reported
---

diff --git a/Robust/src/Benchmarks/Ownership/WebServerTag_ad3.txt b/Robust/src/Benchmarks/Ownership/WebServerTag_ad3.txt
index 8201a982..0a617c77 100644
--- a/Robust/src/Benchmarks/Ownership/WebServerTag_ad3.txt
+++ b/Robust/src/Benchmarks/Ownership/WebServerTag_ad3.txt
@@ -6,7 +6,7 @@ Task SendFile(WebServerSocket web, Socket s) contains no aliases between flagged
 Task ProcessRequest(WebServerSocket web, Socket s) contains no aliases between flagged objects.
 
 ---------Transaction(WebServerSocket web, Inventory inventorylist, Socket s)--------
-Potential alias between parameters 0 and 1.
+Task Transaction(WebServerSocket web, Inventory inventorylist, Socket s) contains no aliases between flagged objects.
 
 ---------LogRequest(WebServerSocket web, Logger log)--------
 Task LogRequest(WebServerSocket web, Logger log) contains no aliases between flagged objects.
diff --git a/Robust/src/Benchmarks/Ownership/WebServerTag_ad9.txt b/Robust/src/Benchmarks/Ownership/WebServerTag_ad9.txt
deleted file mode 100644
index 2e194df3..00000000
--- a/Robust/src/Benchmarks/Ownership/WebServerTag_ad9.txt
+++ /dev/null
@@ -1,18 +0,0 @@
-Conducting ownership analysis with allocation depth = 9
----------SendFile(WebServerSocket web, Socket s)--------
-Task SendFile(WebServerSocket web, Socket s) contains no aliases between flagged objects.
-
----------ProcessRequest(WebServerSocket web, Socket s)--------
-Task ProcessRequest(WebServerSocket web, Socket s) contains no aliases between flagged objects.
-
----------Transaction(WebServerSocket web, Inventory inventorylist, Socket s)--------
-Potential alias between parameters 0 and 1.
-
----------LogRequest(WebServerSocket web, Logger log)--------
-Task LogRequest(WebServerSocket web, Logger log) contains no aliases between flagged objects.
-
----------AcceptConnection(ServerSocket ss)--------
-Task AcceptConnection(ServerSocket ss) contains no aliases between flagged objects.
-
----------Startup(StartupObject s)--------
-Task Startup(StartupObject s) contains no aliases between flagged objects.