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

汁 算 机 系 统 应 用 http：／w／ww．C—S-a．org．cn 2014年 第23卷 第 12期 针对内核模块访存错误的内gc4-~N方法① 纪 程 ，‘陈香兰 I，李 曦 I (中国科学技术人学 计算机科学与技术学院，合肥 230027) (中国科学技术大学 苏州I研究院，苏州 215123) 摘 要：分析了Linux内核模块特点，针对内核模块中二进制指令执行时带来的访存错误，设计了一种针对内核模 块的静态检测方法．通过模拟内核模块中指令的执行．并比较访存指令请求与相关内存区域信息，静态检测方法 目 标是找出代码对内存的非法访问，并对可疑的访存行为发出警告．针对 ARM 处理器平台，给出了静态检测方法的 具体实现，并对内核模块中的访存错误就行了检测验证．实验表明，静态检测方法能够有效找出包括地址越界访 问、读未初始化内存、访问已释放内存等访存错误，本文的静态检测方法达到了预期的检测效果． 关键词：Linux内核模块；内存访问；静态检测；指令模拟 M emoryDetectingM ethodforAccessErrorsInsideKernelM odules JlCheng ，CHEN Xiang．Lan一，LIXi’ (CollegeofComputerScienceandTechnology,UniversityofScienceandTechnologyofChina，Hefei230027，China) ． (SuzhouInstituteforAdvancedSutdy,UniversityofScienceandTechnology．ofChina，Suzhou215123，China) Abstract：ThispaperstudiesthememoryaccesscharacteristicsofLinuxkernelmodule，andthensuggestsastaticapproach todetectmemoryaccesserrorswhenrunningthecodeinsidekernelmodule．Throu曲 simulationofinstructionsinside kernelmoduleandcomparisonbetweenaccessrequestandrecordofmemory region，oarsuggestedmethodisabletofinda varietyofmemoryaccesserrors，suchasoverflow,accessingrabitrary address，invalidpointer,whicharethemostcommon threats．Atlast，basedonARM Processorplatform，wegiveanimplementationofourmethodfordetectingerrorsinduced bykernelmodule，andtheexperimentresultshowsitcanefficientlyworkasweexpect． Keywords：Linuxkernelmodule；memory access；staticdetectionmethod；instructionsimulation l 引文 } 片j尸厘崩 l Linux系统中使用 内核模块以无缝的方式，在需 二二二二二 二二二二=二= 要时被链接入 内核．这些模块可以被动态加载进入内 { 苎塑一一一一一 一 { L ． ㈠ 核成为可加载内核模块LKM(1oadablekernelmodule)， 如设备驱动模块 【．如果用户想添加一些新的功能到 臣 [ 【 内核 巾去，用户希望