A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption

By: Victor Braberman, Diego Garbervetsky, Sergio Yovine

Abstract

This paper presents a static analysis for computing a parametric upper-bound of the amount of memory dynamically allocated by (Java-like) imperative object-oriented programs. It proposes 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. The procedure has been implemented and evaluated on several benchmarks. Experimental results produced exact estimations for most test cases, and quite precise approximations for many of the others. The technique was used to compute usage in the context of scoped memory and discuss some open issues.

Cite as:

Victor Braberman, Diego Garbervetsky, Sergio Yovine, “A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption”, Journal of Object Technology, Volume 5, no. 5 (June 2006), pp. 31-58, doi:10.5381/jot.2006.5.5.a2.