Abstract
We present KERIS, a configurable, non-centralized server-based framework which enables the combinatorial testing of the Linux kernel’s system call interface. The tool constitutes an improvement over our previously developed tool called ERIS by incorporating dynamic memory analysis capabilities among other improvements. The testing framework is designed to offer large-scale automation and requires only minimal high-level input from the user. Several experiments performed with KERIS demonstrate the capabilities of finding and reproducing Linux kernel bugs in an automated manner.
Author supplied keywords
Cite
CITATION STYLE
Garn, B., Würfl, F., & Simos, D. E. (2017). KERIS: ACT tool of the linux kernel with dynamic memory analysis capabilities. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10629 LNCS, pp. 225–228). Springer Verlag. https://doi.org/10.1007/978-3-319-70389-3_17
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
