Synthesizing parametric specifications of dynamic memory utilization in object oriented programs

VICTOR A. BRABERMAN; DIEGO GARBERVETSKY; SERGIO YOVINE

Glasgow, RU

Workshop; Whorkshop on Formal Techiques for Java-like Programs; 2005

We present a static analysis approach 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 (actually polynomials) which conservatively estimate memory consumption in terms of method´s 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.