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 134 -- 54 -- 55 Read methods 134 -- 58 -- 59 Read methods 134 -- 61 -- 62 Read methods 134 -- 63 -- 64 Read methods 134 -- 65 -- 66 Read methods 134 -- 67 -- 66 Read methods 134 -- 68 -- 69 Read methods 134 -- 70 -- 69 Read methods 134 -- 71 -- 72 Read methods 134 -- 73 -- 72 Read methods 134 -- 74 -- 75 Read methods 134 -- 76 -- 75 Read methods 134 -- 77 -- 78 Read methods 134 -- 79 -- 80 Read methods 134 -- 81 -- 82 Read methods 134 -- 83 -- 82 Read methods 134 -- 84 -- 85 Read methods 134 -- 86 -- 85 Read methods 134 -- 87 -- 88 Read methods 134 -- 89 -- 90 <init>()V
checkPosition(Lnet/datastructures/Position;)Lnet/datastructures/DNode;
size()I
isEmpty()Z
first()Lnet/datastructures/Position;
last()Lnet/datastructures/Position;
prev(Lnet/datastructures/Position;)Lnet/datastructures/Position;
next(Lnet/datastructures/Position;)Lnet/datastructures/Position;
insertBefore(Lnet/datastructures/Position;Ljava/lang/Object;)Lnet/datastructures/Position;
insertAfter(Lnet/datastructures/Position;Ljava/lang/Object;)Lnet/datastructures/Position;
insertFirst(Ljava/lang/Object;)Lnet/datastructures/Position;
insertLast(Ljava/lang/Object;)Lnet/datastructures/Position;
remove(Lnet/datastructures/Position;)Ljava/lang/Object;
replace(Lnet/datastructures/Position;Ljava/lang/Object;)Ljava/lang/Object;
positions()Ljava/util/Iterator;
elements()Ljava/util/Iterator;
isFirst(Lnet/datastructures/Position;)Z
isLast(Lnet/datastructures/Position;)Z
swapElements(Lnet/datastructures/Position;Lnet/datastructures/Position;)V
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