Paper Info
Title
COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode
Abstract
This paper describes the architecture of costa , an abstract interpretation based cos t and t ermination a nalyzer for Java bytecode. The system receives as input a bytecode program, (a choice of) a resource of interest and tries to obtain an upper bound of the resource consumption of the program. costa provides several non-trivial notions of cost, as the consumption of the heap, the number of bytecode instructions executed and the number of calls to a specific method. Additionally, costa tries to prove termination of the bytecode program which implies the boundedness of any resource consumption. Having cost and termination together is interesting, as both analyses share most of the machinery to, respectively, infer cost upper bounds and to prove that the execution length is always finite (i.e., the program terminates). We report on experimental results which show that costa can deal with programs of realistic size and complexity, including programs which use Java libraries. To the best of our knowledge, this system provides for the first time evidence that resource usage analysis can be applied to a realistic object-oriented, bytecode programming language.
Year
DOI
Venue
2007
10.1007/978-3-540-92188-2_5
FMCO
Keywords
Field
DocType
bytecode program,java library,bytecode instruction,bytecode programming language,resource usage analysis,realistic size,java bytecode,termination analyzer,upper bound,resource consumption,program terminates,programming language,object oriented
Programming language,Control flow graph,Abstract interpretation,Computer science,Theoretical computer science,Real-time computing,Heap (data structure),Java bytecode,Interpreted language,Java,Bytecode,Programming language implementation
Conference
Volume
ISSN
Citations 
5382
0302-9743
49
PageRank 
References 
Authors
1.40
22
5
Name
Order
Citations
PageRank
Elvira Albert1110068.19
Puri Arenas244522.76
Samir Genaim389144.31
Germán Puebla4147876.38
Damiano Zanardini532416.83