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
commandAction(Ljavax/microedition/lcdui/Command;Ljavax/microedition/lcdui/Displayable;)V
startApp()V
pauseApp()V
destroyApp(Z)V
Read methods 53 -- 23 -- 24 Read methods 53 -- 27 -- 24 Read methods 53 -- 28 -- 24 Read methods 53 -- 29 -- 30 Read methods 53 -- 31 -- 32 <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