A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption
A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption
复制标题
综合动态内存消耗参数化规范的静态分析
DOI：
10.5381/jot.2006.5.5.a2
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
S. Yovine
中科院分区：
文献类型：
--
作者：
V. Braberman;D. Garbervetsky;S. Yovine
我们提出了一个静态分析计算的参数上限的内存量动态分配（类Java）命令式面向对象的程序。我们提出了一个一般的程序合成非线性公式，保守估计内存的数量明确分配的方法作为其参数的函数。我们已经实施了该程序，并在几个基准上对其进行了评估。实验结果对大多数测试用例产生了精确的估计，对许多其他测试用例产生了相当精确的近似值。我们还将我们的技术应用于计算使用的范围内的内存，并讨论了一些开放的问题。
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.