A Case for Static Analysis of Linux to Find Faults in Interrupt Request Handlers

Takeshi Yoshimura, Kenji Kono. A Case for Static Analysis of Linux to Find Faults in Interrupt Request Handlers. JIP, 24(3):573-582, 2016. [doi]

Abstract

Abstract is missing.