87941810a9f55b8ba82424a0d28a442381054e39
[IRC.git] / Robust / src / Benchmarks / Ownership / SpiderBR.txt
1 intractable:
2
3 Analyzing public String String.substring(int beginIndex, int endIndex)
4 Analyzing public String String.subString(int beginIndex, int endIndex)
5 Analyzing readResponse(Query q)
6 Analyzing public String Query.getHostName(String page)
7 Analyzing public String Query.makewebcanonical(String page)
8 Analyzing processPage(Query q, QueryList ql)
9 Analyzing public String Object.toString()
10 Analyzing public static String String.valueOf(Object o)
11 Analyzing public  Query.Query(String hostname, String path)
12 Analyzing Startup(StartupObject s)
13 Analyzing processPage(Query q, QueryList ql)
14 exhaustiveArityCombinations numDimensions = 17
15
16