COSTA: COSt and 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
TreeSize(I)I
NumIters(I)I
Populate(Lmemory/Node;I)V
MakeTree(I)Lmemory/Node;
PrintDiagnostics()V
TimeConstruction(I)V
Read methods 116 -- 57 -- 58 Read methods 116 -- 61 -- 62 Read methods 116 -- 63 -- 62 Read methods 116 -- 64 -- 65 Read methods 116 -- 66 -- 67 Read methods 116 -- 68 -- 58 Read methods 116 -- 69 -- 70 Read methods 116 -- 71 -- 72 <init>()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