Title :
A Tool for Estimating Memory Usage
Author :
Wang Shengyi ; Qiu Zongyan
Author_Institution :
Depart. of Inf., Peking Univ., Beijing, China
Abstract :
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.
Keywords :
program control structures; program diagnostics; software tools; storage allocation; assembly-level program development; fix-point analysis; memory usage estimation; program loops; program structure; program tool; symbolic value; Arithmetic; Assembly; Data structures; Helium; Inference algorithms; Informatics; Programming profession; Software engineering; Upper bound; Watermarking;
Conference_Titel :
Theoretical Aspects of Software Engineering, 2009. TASE 2009. Third IEEE International Symposium on
Conference_Location :
Tianjin
Print_ISBN :
978-0-7695-3757-3
DOI :
10.1109/TASE.2009.39
