Robust/src/Benchmarks/Ownership/WebServer.txt

   1 Conducting ownership analysis with allocation depth = 1
   2 ---------LogRequest(WebServerSocket web, Logger log)--------
   3 No aliases between flagged objects in Task LogRequest(WebServerSocket web, Logger log).
   4
   5 ---------ProcessRequest(WebServerSocket web)--------
   6 No aliases between flagged objects in Task ProcessRequest(WebServerSocket web).
   7
   8 ---------AcceptConnection(ServerSocket ss)--------
   9 No aliases between flagged objects in Task AcceptConnection(ServerSocket ss).
  10
  11 ---------Transaction(WebServerSocket web, Inventory inventorylist)--------
  12 No aliases between flagged objects in Task Transaction(WebServerSocket web, Inventory inventorylist).
  13
  14 ---------Startup(StartupObject s)--------
  15 No aliases between flagged objects in Task Startup(StartupObject s).
  16
  17 ---------SendFile(WebServerSocket web)--------
  18 No aliases between flagged objects in Task SendFile(WebServerSocket web).