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 s...

Full description

Saved in:
Bibliographic Details
Main Authors: Wang, Shengyi, Qiu, Zongyan
Format: Conference Proceeding
Language:English
Subjects:
Arithmetic
Assembly
Data structures
Helium
Inference algorithms
Informatics
Programming profession
Software engineering
Upper bound
Watermarking
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
DOI:10.1109/TASE.2009.39