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

摘要

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.