baggy bounds with accurate checking
文献类型：会议论文
| 作者 | Ding Baozeng ; He Yeping ; Wu Yanjun ; Miller Alex ; Criswell John |
| 出版日期 | 2012 |
| 会议名称 | 23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2012 |
| 会议日期 | November 27, 2012 - November 30, 2012 |
| 会议地点 | Dallas, TX, United states |
| 关键词 | Errors Technical presentations |
| 页码 | 195-200 |
| 中文摘要 | Baggy Bounds Checking is a backward-compatible defense against out-of-bounds errors. It is reported as being faster than any previous bounds checking tool. However, it enforces allocation bounds instead of object bounds and thus cannot detect memory errors that are in padding areas. In this paper, we present BBAC: a technique that extends Baggy Bounds Checking to enforce accurate bounds checking. The key insight behind our approach is to store the object size at the end of the padding area, making it efficient to lookup object bounds meta-data at runtime. We show experimentally that BBAC can detect more memory errors than Baggy Bounds Checking. Our experiments also show that BBAC only adds an additional 4.39% performance overhead over the original Baggy Bounds Checking technique for the Olden benchmarks and 2x overhead at most on the real-world applications we tested. © 2012 IEEE. |
| 英文摘要 | Baggy Bounds Checking is a backward-compatible defense against out-of-bounds errors. It is reported as being faster than any previous bounds checking tool. However, it enforces allocation bounds instead of object bounds and thus cannot detect memory errors that are in padding areas. In this paper, we present BBAC: a technique that extends Baggy Bounds Checking to enforce accurate bounds checking. The key insight behind our approach is to store the object size at the end of the padding area, making it efficient to lookup object bounds meta-data at runtime. We show experimentally that BBAC can detect more memory errors than Baggy Bounds Checking. Our experiments also show that BBAC only adds an additional 4.39% performance overhead over the original Baggy Bounds Checking technique for the Olden benchmarks and 2x overhead at most on the real-world applications we tested. © 2012 IEEE. |
| 收录类别 | EI |
| 会议录 | Proceedings - 23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2012
 |
| 语种 | 英语 |
| ISBN号 | 9780769549286 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/15867]  |
| 专题 | 软件研究所_软件所图书馆_会议论文 |
| 推荐引用方式 GB/T 7714 | Ding Baozeng,He Yeping,Wu Yanjun,et al. baggy bounds with accurate checking[C]. 见:23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2012. Dallas, TX, United states. November 27, 2012 - November 30, 2012. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。