COSt Termination Analyzer for Java Bytecode

Step 1.
Class File
From phoneME libraries

Step 2.
a) Choose the method(s) to be analyzed or Select All
Read methods 129 -- 57 -- 58 Read methods 129 -- 61 -- 62 Read methods 129 -- 63 -- 64 Read methods 129 -- 67 -- 68 Read methods 129 -- 71 -- 72 Read methods 129 -- 73 -- 74 Read methods 129 -- 75 -- 76 Read methods 129 -- 77 -- 76 Read methods 129 -- 78 -- 62 Read methods 129 -- 79 -- 80 Read methods 129 -- 81 -- 82 Read methods 129 -- 83 -- 58 Read methods 129 -- 84 -- 58 Read methods 129 -- 85 -- 58 Read methods 129 -- 86 -- 58 Read methods 129 -- 87 -- 88 <init>()V
toString()Ljava/lang/String;
forName(Ljava/lang/String;)Ljava/lang/Class;
newInstance()Ljava/lang/Object;
isInstance(Ljava/lang/Object;)Z
isAssignableFrom(Ljava/lang/Class;)Z
isInterface()Z
isArray()Z
getName()Ljava/lang/String;
getResourceAsStream(Ljava/lang/String;)Ljava/io/InputStream;
getSuperclass()Ljava/lang/Class;
invoke_clinit()V
init9()V
invoke_verify()V
initialize()V
throwError(Ljava/lang/Throwable;)Ljava/lang/Error;

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