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

• 作者: 李曦 纪程 陈香兰
• 来源期刊: 计算机系统应用
• 关键词: Linux内核模块 内存访问 静态检测 指令模拟
• 年，卷（期）: 2014,（12）
• 所属期刊栏目: 软件技术?算法
• 页码范围: 142-148
• 页数: 7页
• 字数: 5810字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李曦	中国科学技术大学计算机科学与技术学院	119	751	13.0	21.0
5	陈香兰	中国科学技术大学计算机科学与技术学院	48	235	8.0	12.0
9	纪程	中国科学技术大学计算机科学与技术学院	1	1	1.0	1.0