KERIS: A CT Tool of the Linux Kernel with Dynamic Memory Analysis Capabilities

Bernhard Garn,Fabian Würfl,Dimitris E. Simos
DOI: https://doi.org/10.1007/978-3-319-70389-3_17
2017-01-01
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.
What problem does this paper attempt to address?