Robust/src/Benchmarks/Ownership/results/withoutStrongUp/SpiderBRTag.txt

   1 Conducting ownership analysis with allocation depth = 1
   2 ---------requestQuery(Query q, Socket s)--------
   3 No aliases between flagged objects in Task requestQuery(Query q, Socket s).
   4
   5 ---------Startup(StartupObject s)--------
   6 No aliases between flagged objects in Task Startup(StartupObject s).
   7
   8 ---------processPage(Query q, QueryList ql)--------
   9 No aliases between flagged objects in Task processPage(Query q, QueryList ql).
  10
  11 ---------readResponse(Query q, Socket s)--------
  12 No aliases between flagged objects in Task readResponse(Query q, Socket s).