COSTA : A Cost and Termination Analyzer for Java Bytecode ( Tool Demo )

@inproceedings{Albert2008COSTAA,
  title={COSTA : A Cost and Termination Analyzer for Java Bytecode ( Tool Demo )},
  author={Erik Albert and Puri Arenas and Samir Genaim and Germ{\'a}n Puebla and Damiano Zanardini},
  year={2008}
}
This paper describes costa, a cost and termination analyzer for Java bytecode. The system receives as input a bytecode program and a selection of a resources of interest, and tries to bound the resource consumption of the program with respect to such a cost model. costa provides several non-trivial notions of resource, as the consumption of the heap, the number of bytecode instructions executed, the number of calls to a specific method (e.g., the library method for sending text messages in… CONTINUE READING