COSt Termination Analyzer for Java Bytecode

Step 1.
Class File

Step 2.
a) Choose the method(s) to be analyzed or Select All
Read methods 70 -- 32 -- 33 Read methods 70 -- 30 -- 36 Read methods 70 -- 37 -- 38 Read methods 70 -- 39 -- 40 Read methods 70 -- 41 -- 42 Read methods 70 -- 44 -- 42 Read methods 70 -- 45 -- 46 <init>()V
size()I
isEmpty()Z
enqueue(Ljava/lang/Object;)V
front()Ljava/lang/Object;
dequeue()Ljava/lang/Object;
toString()Ljava/lang/String;

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