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

diff --git a/Robust/src/Benchmarks/Ownership/WebServerTag_ad3.txt b/Robust/src/Benchmarks/Ownership/WebServerTag_ad3.txt
index 8201a9829513ac8d8c1b27fefb9e3f24c7f57920..0a617c771d2bfd8c42dbc3e9146b7265759a5bf9 100644 (file)
--- 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 (file)
index 2e194df..0000000
--- 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.