.png){kind=icon}
返回
ErrHunter: Detecting Error-Handling Bugs in the Linux Kernel Through Systematic Static Analysis
.png){kind=icon}
PRE
AI
DOI：10.1109/TSE.2022.3160155.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Error handling is essential for operating systems, thus, there are many bugs in error-handling code, which could result in serious consequences. In this paper, we revisit the problem of error miss-handling bugs and analyze the root cause of the most common ones in the Linux kernel. Based on the analysis, we propose a systematic static taint-analysis-based approach, ErrHunter, to detect multiple kinds of error miss-handling bugs in the Linux kernel. An automated critical variable identification approach is proposed to identify critical variables in the error-handling paths. A static cross-control-flow taint analysis approach is proposed to construct critical-variable control flow graphs (CCFGs), which describe the processing of critical variables in separate control flows. Based on the CCFGs, ErrHunter can target the root cause of the most common error miss-handling bugs and detect the bugs in a systematic way. ErrHunter is designed for kernel bug detection, so it can handle many specific features of the Linux kernel, such as memory management mechanisms, etc.
Keyword:
Error handling bugs
static taint analysis
cross-control-flow analysis
bug detection
期刊
IF:
5.6
论文数:
2.9K
被引数:
1.1W
机构
引用论文
Perioperative improvement in serum albumin level in patients with left ventricular assist device
OAAI
OAAI分享收藏Highly specific colorimetric detection based on aggregation of l-cysteine functionalized gold nanoparticles for cypermethrin in water samples.png)
RSC AdvancesOAAI
RSC AdvancesIF0
OAAI分享收藏分享收藏
查看更多内容