一种面向内核接口的顺序依赖规则挖掘与违例检测方法-计算机学报.PDF

第卷第期 计 算 机 学 报 ３８ ５ 　 　　　　　　　　 Ｖｏｌ．３８Ｎｏ．５ 年月 ２０１５５ Ｍａ２０１５ ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯＭＰＵＴＥＲＳ ｙ 　 一种面向内核接口的顺序依赖规则挖掘与 违例检测方法 刘虎球白家驹王蠫屏 　 　 （清华大学计算机科学与技术系北京 ） １０００８４ 　 　 摘要内核扩展函数以接口的形式提供给驱动，用于管理设备和申请相关的资源这些接口中存在大量的顺序 ． 　　 依赖规则，如自旋锁必须经过初始化才能加锁，然后才能解锁；驱动在加载时申请的内存，卸载时必须予以释放等． ， ， ， 然而驱动开发者常常不熟悉或疏忽内核接口的使用规则导致驱动中存在大量的接口使用违例影响驱动及系统 的可靠运行文中提出了一种面向内核接口的顺序依赖规则挖掘与违例检测方法（ ）该方法结合驱动源 ． ＳＤＭｉｎｅｒ． ， ， ， 码的结构特征对驱动代码使用的内核接口进行统计分析挖掘并提取内核接口的顺序依赖规则并利用提取的规 则检测现有的驱动源码中的使用违例 对 和 的驱动源码分别进行了规则挖掘和 ．ＳＤＭｉｎｅｒＬｉｎｕｘ３．１０．１０２．６．３８ 违例检测对比检测结果发现，在 中检测出的错误中，有 处在 中得到了修正 检测和 ． ２．６．３８ ６４ ３．１０．１０ ．ＳＤＭｉｎｅｒ ， ， 分析 的 款驱动的过程仅耗费 共计提取出了 个顺序依赖相关的接口使用规则并检 Ｌｉｎｕｘ３．１０．１０３７８１ ５ｍｉｎ ２２０ 测到了 个使用违例作者将其中个提交给了开发者累计有个回复者对个使用违例进行了确认实验 ７５６ ， ５０ ， ２５ ２０ ． 结果表明， 能够有效地挖掘出内核接口的顺序依赖规则，并检测出使用违例，进而辅助开发人员对驱动 ＳＤＭｉｎｅｒ 进行修正来提高驱动可靠性此外，规则的挖掘是基于驱动的结构信息和统计信息，不需要开发者在源码中提供额 ． 外的注释及标注． 关键词内核扩展函数；规则挖掘；违例检测；顺序依赖规则 　 中图法分类号