arrow
返回

Testing Error Handling Code With Software Fault Injection and Error-Coverage-Guided Fuzzing

delete2024-07-01
delete0
PRE
AI
白家驹 封面图
白家驹 (Jia-Ju Bai) *
Z
Zi-Xuan Fu
K
Kai-Tao Xie
Z
Zu-Ming Jiang
DOI:10.1109/TDSC.2023.3288876delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
Real-world programs require error handling code to handle various kinds of possible errors. However, these errors just infrequently occur due to special conditions, so error handling code is difficult to test. Coverage-guided fuzzing and software fault injection (SFI) are two common techniques that can test error handling code, but they still have major limitations. Specifically, existing fuzzing approaches generate program inputs guided by code coverage, but many occasional errors (such as insufficient memory) are unrelated to inputs, and code coverage cannot effectively reflect the execution contexts of these errors; existing SFI approaches often inject single or random faults, without exploring fault space or using program feedback. In this paper, we propose a new fuzzing framework named EH-Fuzz, to effectively test error handling code. EH-Fuzz uses a context-sensitive SFI-based fuzzing approach to explore fault space and perform fault injection, guided by a new metric named error coverage. We evaluate EH-Fuzz on 9 user-level programs and 6 kernel-level modules, and find 45 new real bugs, 31 of which have been confirmed and fixed. We compare EH-Fuzz to existing fuzzing approaches (including AFL, AFL++, Syzkaller, FIZZER and FIFUZZ), and EH-Fuzz finds many real bugs missed by these approaches with higher testing coverage.
Keyword:
Codes
Fuzzing
Computer bugs
Testing
Space exploration
Runtime
Software
Bug detection
coverage-guided fuzzing
error coverage
error handling
software fault injection

期刊

IEEE Transactions on Dependable and Secure Computing 封面图
IEEE Transactions on Dependable and Secure Computing
IF:
7.5
论文数:
2.5K
被引数:
9.6K

机构

A
alibaba group
学者数:
1.1K
论文数: 789
被引数: 0
B
Beihang University
学者数:
5.2W
论文数: 4.1W
被引数: 37
S
swiss federal institutes of technology domain
学者数:
9.0W
论文数: 8.0W
被引数: 163
学者 查看更多机构
引用论文

引用论文

暂无论文信息