52c61bc973e761bb7fb02f92ad113c604881ee83
[IRC.git] / 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.