Robust/src/Benchmarks/Ownership/ChatTag_ad9.txt

   1 Conducting ownership analysis with allocation depth = 9
   2 ---------ProcessRoom(ChatSocket cs, RoomObject ro)--------
   3 Potential alias between parameters 0 and 1.
   4
   5 ---------ReadRequest(ChatSocket cs, Socket s)--------
   6 Task ReadRequest(ChatSocket cs, Socket s) contains no aliases between flagged objects.
   7
   8 ---------SendMessage(Message m)--------
   9 Task SendMessage(Message m) contains no aliases between flagged objects.
  10
  11 ---------Message(ChatSocket cs, Socket s)--------
  12 Potential alias between parameter 0 and allocSite7.
  13
  14 ---------Startup(StartupObject s)--------
  15 Task Startup(StartupObject s) contains no aliases between flagged objects.
  16
  17 ---------AcceptConnection(ServerSocket ss)--------
  18 Potential alias between allocSite5 and allocSite16.