Journal of Information Processing
Online ISSN : 1882-6652
ISSN-L : 1882-6652
A Case for Static Analysis of Linux to Find Faults in Interrupt Request Handlers
Takeshi YoshimuraKenji Kono
Author information

2016 Volume 24 Issue 3 Pages 573-582


Bugs in operating system kernels threaten system reliability and availability. Static analysis of device drivers is one of the most useful methods to find and fix bugs in operating systems. Unfortunately, existing tools focus on bug patterns that come from developers' ad hoc beliefs and experiences, although the developers have a chance to utilize many past bug reports. The objective of this paper is to uncover particular types of real bugs in a widely used operating system. Specifically, this paper presents a case for finding six real bugs in Linux when obtaining 160 bug reports about interrupt request line (IRQ) handlers in past Linux. The 160 bug reports enable us to recognize nine patterns of mishandling IRQ handlers, and our analyzer, which is based on the recognized patterns, successfully detects the uncovered bugs.

Related papers from these authors
© 2016 by the Information Processing Society of Japan
Previous article Next article