Article (Scientific journals)
Ahead of time static analysis for automatic generation of debugging interfaces to the Linux kernel
Bissyande, Tegawendé François D Assise; Réveillère, Laurent; Lawall, Julia et al.
2014In Automated Software Engineering, p. 1-39
Peer Reviewed verified by ORBi


Full Text
Author preprint (528.05 kB)

All documents in ORBilu are protected by a user license.

Send to


Keywords :
Diagnosys; Debugging; Linux; Plugin; Reliability; Testing
Abstract :
[en] The Linux kernel does not export a stable, well-defined kernel interface, complicating the development of kernel-level services, such as device drivers and file systems. While there does exist a set of functions that are exported to external modules, this set of functions frequently changes, and the functions have implicit, ill-documented preconditions. No specific debugging support is provided. We present Diagnosys, an approach to automatically constructing a debugging interface for the Linux kernel. First, a designated kernel maintainer uses Diagnosys to identify constraints on the use of the exported functions. Based on this information, developers of kernel services can then use Diagnosys to generate a debugging interface specialized to their code. When a service including this interface is tested, it records information about potential problems. This information is preserved following a kernel crash or hang. Our experiments show that the generated debugging interface provides useful log information and incurs a low performance penalty.
Research center :
Disciplines :
Computer science
Author, co-author :
Bissyande, Tegawendé François D Assise  ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Réveillère, Laurent;  Université Bordeaux 1 > LaBRI
Lawall, Julia;  Université Pierre et Marie Currie - Paris 6 - UPMC > LiP6 /INRIA
Muller, Gilles;  Université Pierre et Marie Currie - Paris 6 - UPMC > LiP6 / INRIA
Language :
Title :
Ahead of time static analysis for automatic generation of debugging interfaces to the Linux kernel
Publication date :
22 May 2014
Journal title :
Automated Software Engineering
Publisher :
Springer Science & Business Media B.V.
Pages :
Peer reviewed :
Peer Reviewed verified by ORBi
Available on ORBilu :
since 09 February 2015


Number of views
69 (2 by Unilu)
Number of downloads
259 (2 by Unilu)

Scopus citations®
Scopus citations®
without self-citations
WoS citations


Similar publications

Contact ORBilu