针对内核模块访存错误的内存检测方法

分析了Linux 内核模块特点，针对内核模块中二进制指令执行时带来的访存错误，设计了一种针对内核模块的静态检测方法。通过模拟内核模块中指令的执行，并比较访存指令请求与相关内存区域信息，静态检测方法目标是找出代码对内存的非法访问，并对可疑的访存行为发出警告。针对 ARM 处理器平台，给出了静态检测方法的具体实现，并对内核模块中的访存错误就行了检测验证。实验表明，静态检测方法能够有效找出包括地址越界访问、读未初始化内存、访问已释放内存等访存错误，本文的静态检测方法达到了预期的检测效果。

Memory Detecting Method for Access Errors Inside Kernel Modules

This paper studies the memory access characteristics of Linux kernel module, and then suggests a static approach to detect memory access errors when running the code inside kernel module. Through simulation of instructions inside kernel module and comparison between access request and record of memory region, our suggested method is able to find a variety of memory access errors, such as overflow, accessing arbitrary address, invalid pointer, which are the most common threats. At last, based on ARM Processor platform, we give an implementation of our method for detecting errors induced by kernel module, and the experiment result shows it can efficiently work as we expect.