论文信息 - A Tool for Estimating Memory Usage

A Tool for Estimating Memory Usage

We introduce a tool under development for assembly-level programs, which captures memory requirement of each method in terms of symbolic values of its parameters. It exploits fix-point analysis for loops and recursions. Up now the tool can handle most common structures in programs except some rare situations.

Shengyi Wang | Zongyan Qiu

[1] Shengchao Qin,et al. Analysing memory resource bounds for low-level programs , 2008, ISMM '08.

[2] Wei-Ngan Chin,et al. A practical and precise inference and specializer for array bound checks elimination , 2008, PEPM '08.

[3] Elvira Albert,et al. Heap space analysis for java bytecode , 2007, ISMM '07.

[4] William Pugh,et al. The Omega test: A fast and practical integer programming algorithm for dependence analysis , 1991, Proceedings of the 1991 ACM/IEEE Conference on Supercomputing (Supercomputing '91).

[5] Martin Hofmann,et al. Static prediction of heap space usage for first-order functional programs , 2003, POPL '03.