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

Dongyang Zhan, Xiangzhan Yu, Hongli Zhang 0001, Lin Ye. ErrHunter: Detecting Error-Handling Bugs in the Linux Kernel Through Systematic Static Analysis. IEEE Trans. Software Eng., 49(2):684-698, February 2023. [doi]

Abstract

Abstract is missing.