| Publication Type |
Manuscript |
| School or College |
College of Engineering |
| Department |
Computing, School of |
| Creator |
Regehr, John |
| Other Author |
Reid, Alastair; Webb, Kirk |
| Title |
Eliminating stack overflow by abstract interpretation |
| Date |
2005-01-01 |
| Description |
An important correctness criterion for software running on embedded microcontrollers is stack safety: a guarantee that the call stack does not overflow. Our first contribution is a method for statically guaranteeing stack safety of interrupt-driven embedded software using an approach based on context-sensitive dataflow analysis of object code. We have implemented a prototype stack analysis tool that targets software for Atmel AVR microcontrollers and tested it on embedded applications compiled from up to 30,000 lines of C. We experimentally validate the accuracy of the tool, which runs in under 10 sec on the largest programs that we tested. The second contribution of this paper is the development of two novel ways to reduce stack memory requirements of embedded software. |
| Type |
Text |
| Publisher |
Association for Computing Machinery |
| Volume |
4 |
| Issue |
4 |
| First Page |
751 |
| Last Page |
778 |
| DOI |
http://doi.acm.org/10.1145/nnnnnn.nnnnnn ; ACM 1539-9087/05/1100-0751 ; Doi 10.1145/1113830.1113833. |
| Dissertation Institution |
University of Utah |
| Language |
eng |
| Bibliographic Citation |
Regehr, J., Reid, A., & Webb, K. (2005). Eliminating stack overflow by abstract interpretation. ACM Transactions on Embedded Computing Systems, 4(4), 751-78. November. |
| Rights Management |
© ACM, 2005. This is the authors version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in ACM Transactions on Embedded Computing Systems, 4(4), 751-78. November. |
| Format Medium |
application/pdf |
| Format Extent |
1,840,120 bytes |
| Identifier |
uspace,17490 |
| ARK |
ark:/87278/s65d99kz |
| Setname |
ir_uspace |
| ID |
707831 |
| Reference URL |
https://collections.lib.utah.edu/ark:/87278/s65d99kz |
