COSTA: COSt and Termination Analyzer for Java Bytecode
Step 1.
Class File