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