.png){kind=icon}
返回
POMP plus plus : Facilitating Postmortem Program Diagnosis with Value-Set Analysis
.png){kind=icon}
OA
AI
DOI：10.1109/TSE.2019.2939528.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
With the emergence of hardware-assisted processor tracing, execution traces can be logged with lower runtime overhead and integrated into the core dump. In comparison with an ordinary core dump, such a new post-crash artifact provides software developers and security analysts with more clues to a program crash. However, existing works only rely on the resolved runtime information, which leads to the limitation in data flow recovery within long execution traces. In this work, we propose POMP++, an automated tool to facilitate the analysis of post-crash artifacts. More specifically, POMP++ introduces a reverse execution mechanism to construct the data flow that a program followed prior to its crash. Furthermore, POMP++ utilizes Value-set Analysis, which helps to verify memory alias relation, to improve the ability of data flow recovery. With the restored data flow, POMP++ then performs backward taint analysis and highlights program statements that actually contribute to the crash. We have implemented POMP++ for Linux system on x86-32 platform, and tested it against various crashes resulting from 31 distinct real-world security vulnerabilities. The evaluation shows that, our work can pinpoint the root causes in 29 cases, increase the number of recovered memory addresses by 12 percent and reduce the execution time by 60 percent compared with existing reverse execution. In short, POMP++ can accurately and efficiently pinpoint program statements that truly contribute to the crashes, making failure diagnosis significantly convenient.
Keyword:
Computer crashes
Software
Security
Core dumps
Registers
Runtime
Tools
Postmortem program diagnosis
failure diagnosis
reverse execution
value-set analysis
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
5.6
论文数:
2.9K
被引数:
1.1W
机构
引用论文
The Coordination and Luminescence of the Eu(III) Complexes with the Polymers (PMMA, PVP).png)
PolymersOAAI
PolymersIF0
OAAI分享收藏Response of Mature Avocado Fruit to Postharvest Ethylene Treatment Applied Immediately after HarvestHortScience
OAAI
HortScienceIF0
OAAI分享收藏Fault ride through capability of grid forming wind turbines: A comparison of three control schemesOAAI
OAAI分享收藏
查看更多内容