COSt Termination Analyzer for Java Bytecode

Step 1.
Class File

Step 2.
a) Choose the method(s) to be analyzed or Select All
main([Ljava/lang/String;)V
append(Lpubs/MergeList;)Lpubs/MergeList;
reverseAcc(Lpubs/MergeList;)Lpubs/MergeList;
reverse()Lpubs/MergeList;
merge(Lpubs/MergeList;)Lpubs/MergeList;
Read methods 43 -- 15 -- 16 Read methods 43 -- 21 -- 22 Read methods 43 -- 25 -- 22 Read methods 43 -- 27 -- 28 Read methods 43 -- 29 -- 22 Read methods 43 -- 30 -- 31 <init>(ILpubs/MergeList;)V

b) Select the Cost Model
Number of instructions
Termination
Memory + Garbage Collector
Number of calls to the method in the class

c) Provide an upper bound to check it? No Yes
e.g. [x]=2*x

d) Compute the asymptotic upper bound? No Normal Lazy

e) Select the user interface Automatic Manual