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