ErrHunter: Detecting Error-Handling Bugs in the Linux Kernel Through Systematic Static Analysis

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 anal...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on software engineering 2023-02, Vol.49 (2), p.684-698
Main Authors: Zhan, Dongyang, Yu, Xiangzhan, Zhang, Hongli, Ye, Lin
Format: Article
Language:English
Subjects:
bug detection
Codes
Computer bugs
cross-control-flow analysis
Error analysis
Error detection
Error handling bugs
Flow graphs
Handling
Kernel
Kernels
Linux
Memory management
Process control
Static analysis
static taint analysis
Systematics
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!