Please use this identifier to cite or link to this item: https://doi.org/10.1109/TASE.2010.24
Title: Stack bound inference for abstract Java Bytecode
Authors: Wang, S.
Qiu, Z.
Qin, S.
Chin, W.-N. 
Keywords: Fixpoint analysis
Java Bytecode
Memory inference
Program analysis
Stack boundary
Tool
Issue Date: 2010
Source: Wang, S.,Qiu, Z.,Qin, S.,Chin, W.-N. (2010). Stack bound inference for abstract Java Bytecode. Proceedings - 2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010 : 57-66. ScholarBank@NUS Repository. https://doi.org/10.1109/TASE.2010.24
Abstract: Ubiquitous embedded systems are often resource-constrained. Developing software for these systems should take into account resources such as memory space. In this paper, we develop and implement an analysis framework to infer statically stack usage bounds for assembly-level programs in abstract Java Bytecode. Our stack bound inference process, extended from a theoretical framework proposed earlier by some of the authors, is composed of deductive inference rules in multiple passes. Based on these rules, a usable tool has been developed for processing programs to capture the stack memory needs of each procedure in terms of the symbolic values of its parameters. The final result contains path-sensitive information to achieve better precision. The tool invokes a Presburger solver to perform fixed point analysis for loops and recursive procedures. Our initial experiments have confirmed the viability and power of the approach. © 2010 IEEE.
Source Title: Proceedings - 2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010
URI: http://scholarbank.nus.edu.sg/handle/10635/40732
ISBN: 9780769541488
DOI: 10.1109/TASE.2010.24
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

2
checked on Dec 13, 2017

Page view(s)

59
checked on Dec 9, 2017

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.