From 58c007bf44f5894f506abea25e2a2f736f08bd67 Mon Sep 17 00:00:00 2001 From: jjenista Date: Thu, 18 Sep 2008 20:01:54 +0000 Subject: [PATCH] changed analysis to recognize strings as immutable, aliases in WebServerTag no longer reported --- .../Benchmarks/Ownership/WebServerTag_ad3.txt | 2 +- .../Benchmarks/Ownership/WebServerTag_ad9.txt | 18 ------------------ 2 files changed, 1 insertion(+), 19 deletions(-) delete mode 100644 Robust/src/Benchmarks/Ownership/WebServerTag_ad9.txt 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. -- 2.34.1