A Static Analysis for Synthesizing Parametric
Specifications of Dynamic Memory Consumption
Víctor Braberman, School of Computer Sciences,
Universidad de Buenos Aires,
Buenos Aires, Argentina
Diego Garbervetsky, School of Computer Sciences, Universidad
de Buenos
Aires, Buenos Aires, Argentina
Sergio Yovine, Verimag, Grenoble, France
|
 |
REFERRED
ARTICLE
PDF Version |
Abstract
We present a static analysis for computing a parametric upper-bound
of the amount of
memory dynamically allocated by (Java-like) imperative object-oriented
programs. We
propose a general procedure for synthesizing non-linear formulas which
conservatively
estimate the quantity of memory explicitly allocated by a method as
a function of
its parameters. We have implemented the procedure and evaluated it
on several
benchmarks. Experimental results produced exact estimations for most
test cases,
and quite precise approximations for many of the others. We also apply
our technique
to compute usage in the context of scoped memory and discuss some open
issues.
Note: Due to the typographical sophistication of this article, no HTML version is available. Please use the PDF version.
About the authors
|
|
Víctor Braberman Ph.D. in Computer
Science and full-time Associate
Professor in CS. Department of University of Buenos Aires
(Argentina) working in the area of Software Engineering . His
is an
active researcher in models, abstractions and verification of
real-time
and distributed systems. He can be reached at vbraber@dc.uba.ar. |
|
|
Diego Garbervetsky Lecturer in the
CS. Department of University
of Buenos Aires (Argentina) finishing his Ph.D. in computer science.
His research field is Embedded Systems, Formal Verification
and Program Analysis focused on prediction of dynamic memory
utilization. He can be reached at diegog@dc.uba.ar. |
|
|
Sergio Yovine Ph.D. in Computer
Science. Full time researcher at
Centre National de la Recherche Scientifique (CNRS), France. He
works in the area of Tools for Formal Verification of Real Time
and
Embedded Systems. He can be reached at sergio.yovine@imag.fr.
|
Cite this article as follows: : A Static Analysis for Synthesizing
Parametric Specifications of
Dynamic Memory Consumption, in Journal of Object Technology, vol. 5,
no. 5, Special Issue: ECOOP 2005 Workshop FTfJP,
June 2006, pages 31–58,
http://www.jot.fm/issues/issues
2006 06/article2
|