.png){kind=icon}
返回
Heap Abstractions for Static Analysis
.png){kind=icon}
OA
AI
DOI：10.1145/2931098.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Heap data is potentially unbounded and seemingly arbitrary. Hence, unlike stack and static data, heap data cannot be abstracted in terms of a fixed set of program variables. This makes it an interesting topic of study and there is an abundance of literature employing heap abstractions. Although most studies have addressed similar concerns, insights gained in one description of heap abstraction may not directly carry over to some other description. In our search of a unified theme, we view heap abstraction as consisting of two steps: (a) heap modelling, which is the process of representing a heap memory (i.e., an unbounded set of concrete locations) as a heap model (i.e., an unbounded set of abstract locations), and (b) summarization, which is the process of bounding the heap model by merging multiple abstract locations into summary locations. We classify the heap models as storeless, store based, and hybrid. We describe various summarization techniques based on k-limiting, allocation sites, patterns, variables, other generic instrumentation predicates, and higher-order logics. This approach allows us to compare the insights of a large number of seemingly dissimilar heap abstractions and also paves the way for creating new abstractions by mix and match of models and summarization techniques.
Keyword:
Design
Algorithms
Verification
Languages
Abstraction
heap
pointers
shape analysis
static analysis
store based
storeless
summarization
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
28
论文数:
2.4K
被引数:
3.5W
机构
引用论文
Revisiting an Old Riddle: What Determines Genetic Diversity Levels within Species?.png)
PLoS BiologyOAAI
PLoS BiologyIF0
OAAI分享收藏Modeling Inflammation in Zebrafish for the Development of Anti-inflammatory Drugs模拟斑马鱼的炎症以开发抗炎药物
OAAI
OAAI分享收藏Structure‐Based Design of Potent Small‐Molecule Binders to the S‐Component of the ECF Transporter for ThiamineChemBioChemOAAI
ChemBioChemIF0
OAAI分享收藏分享收藏
查看更多内容