Fault Simulation and Memory Leak Detection over Custom Kernel Module by Using KEDR

Abstract

Fault simulation and memory leak detection of Linux kernel modules, especially of device drivers are a critically important task. However, due to the special nature of the kernel operation, it is very challenging to perform runtime analysis of kernel modules of interest without adverse influence on the rest of the kernel. In this paper, we have tested our own compiled custom kernel modules for fault simulation and memory leak detection by using KEDR framework, an extensible runtime analysis system for Linux kernel modules, which employs various kinds approaches to perform different kinds of analysis.