Robust/src/Benchmarks/Ownership/results/withoutStrongUp/Conglomerator.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 ---------SendFile(WebServerSocket web, MySocket s)--------
   6 No aliases between flagged objects in Task SendFile(WebServerSocket web, MySocket s).
   7
   8 ---------LookupS(Stock l)--------
   9 No aliases between flagged objects in Task LookupS(Stock l).
  10
  11 ---------Startup(StartupObject s)--------
  12 No aliases between flagged objects in Task Startup(StartupObject s).
  13
  14 ---------ReceiveQueryS(Stock l)--------
  15 No aliases between flagged objects in Task ReceiveQueryS(Stock l).
  16
  17 ---------AcceptConnection(ServerSocket ss)--------
  18 No aliases between flagged objects in Task AcceptConnection(ServerSocket ss).
  19
  20 ---------LookupW(Weather l)--------
  21 No aliases between flagged objects in Task LookupW(Weather l).
  22
  23 ---------Transaction(WebServerSocket web, Weather weather, Google g, MySocket s, Stock st)--------
  24 No aliases between flagged objects in Task Transaction(WebServerSocket web, Weather weather, Google g, MySocket s, Stock st).
  25
  26 ---------ReceiveQueryG(Google l)--------
  27 No aliases between flagged objects in Task ReceiveQueryG(Google l).
  28
  29 ---------ReceiveQueryW(Weather l)--------
  30 No aliases between flagged objects in Task ReceiveQueryW(Weather l).
  31
  32 ---------LookupG(Google l)--------
  33 No aliases between flagged objects in Task LookupG(Google l).
  34
  35 ---------ProcessRequest(WebServerSocket web, MySocket s)--------
  36 No aliases between flagged objects in Task ProcessRequest(WebServerSocket web, MySocket s).