.png){kind=icon}
返回
CHOP: Bypassing runtime bounds checking through convex hull Optimization
.png){kind=icon}
OA
AI
DOI：10.1016/j.cose.2019.101708.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Unsafe memory accesses in programs written using popular programming languages like C/C++ have been among the leading causes for software vulnerability. Prior memory safety checkers such as Soft-Bound enforce memory spatial safety by checking if every access to array elements are within the corresponding array bounds. However, it often results in high execution time overhead due to the cost of executing the instructions associated with bounds checking. To mitigate this problem, redundant bounds check elimination techniques are needed. In this paper, we propose CHOP, a Convex Hull Optimization based framework, for bypassing redundant memory bounds checking via profile-guided inferences. In contrast to existing check elimination techniques that are limited by static code analysis, our solution leverages a model-based inference to identify redundant bounds checking based on runtime data from past program executions. For a given function, it rapidly derives and updates a knowledge base containing sufficient conditions for identifying redundant array bounds checking. We evaluate CHOP on real-world applications and benchmark (such as SPEC) and the experimental results show that on average 80.12% of dynamic bounds check instructions can be avoided, resulting in improved performance up to 95.80% over SoftBound. (C) 2020 The Authors. Published by Elsevier Ltd.
Keyword:
Memory safety
Convex hull
Bounds check
Runtime optimization
LLVM
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
C
IF:
5.4
论文数:
4.6K
被引数:
1.4W
机构
引用论文
The binding cavity of mouse major urinary protein is optimised for a variety of ligand binding modes
PREAI
分享收藏Under the humble mask: Investigating when and how leader-expressed humility leads to employee voice
OAAI
OAAI分享收藏分享收藏Eliminating Redundant Bounds Checks in Dynamic Buffer Overflow Detection Using Weakest Preconditions
PREAI
分享收藏Spiraling dopaminergic circuitry from the ventral striatum to dorsal striatum is an effective feed-forward loop.png)
Neuroscience
NeuroscienceIF0
PREAI
分享收藏 没有更多内容
没有更多内容