This article presents a symbolic static analysis for computing parametric upper bounds of the number of simultaneously live objects of sequential Java-like programs. Inferring the peak amount of irreclaimable objects is the cornerstone for analyzing potential heap-memory consumption of stand-alone applications or libraries. The analysis builds method-level summaries quantifying the peak number of live objects and the number of escaping objects. Summaries are built by resorting to summaries of their callees. The usability, scalability and precision of the technique is validated by successfully predicting the object heap usage of a medium-size, real-life application which is significantly larger than other previously reported case-studies. © 2013 Elsevier B.V. All rights reserved.
Documento: | Artículo |
Título: | Summary-based inference of quantitative bounds of live heap objects |
Autor: | Braberman, V.; Garbervetsky, D.; Hym, S.; Yovine, S. |
Filiación: | Departamento de Computación, FCEyN, UBA, Argentina CONICET, Argentina LIFL, Université Lille 1 and CNRS, France |
Idioma: | Inglés |
Palabras clave: | Heap memory requirements; Quantitative analysis; Resource consumption |
Año: | 2013 |
DOI: | http://dx.doi.org/10.1016/j.scico.2013.11.036 |
Título revista: | Science of Computer Programming |
Título revista abreviado: | Sci Comput Program |
ISSN: | 01676423 |
CODEN: | SCPGD |
Registro: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_01676423_v_n_p_Braberman |