Diagnosys: automatic generation of a debugging interface to the Linux kernel
Abstract
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.
BibTeX
@inproceedings{Bissyande-al:ASE12,
author = {Tegawend{\'{e}} F. Bissyand{\'{e}} and
Laurent R{\'{e}}veill{\`{e}}re and
Julia Lawall and
Gilles Muller},
title = {Diagnosys: automatic generation of a debugging interface to the Linux kernel},
booktitle = {ASE},
pages = {60--69},
publisher = {{ACM}},
year = {2012},
}