面向硬件瞬时故障的Linux设备驱动敏感代码的自动分析与检测

作     者：马培 翟高寿 MA Pei;ZHAI Gao-shou

作者机构：北京交通大学计算机与信息技术学院北京市100044 

基　　金：中央高校基本科研业务费专项基金资助(课题编号:2009JBM019) 国家留学基金(File No.201307095025) 

出 版 物：《软件》 (Software)

年 卷 期：2015年第36卷第12期

页      码：9-15页

摘      要：操作系统是整个计算机系统的核心,而设备驱动程序则占据操作系统内核的相当份额并对系统安全产生举足轻重的作用。作为主机与外围设备之间通信控制的桥梁,设备驱动无疑会受到硬件设备故障的直接影响。在Linux系统中,驱动程序问题是造成系统安全的主要根源之一。特别地,由于设备驱动代码的编写往往没有考虑到硬件设备的瞬时故障,所以当硬件设备发生瞬时差错的时候,就有可能导致相应驱动程序甚至整个系统出现不可预料的后果。本文主要讨论了面向硬件瞬时故障的驱动程序敏感代码的自动分析方法,并设计和实现了对应的代码分析工具原型。运用该工具原型对Linux内核设备驱动源码的实验分析结果表明,该方法和原型可以发现设备驱动中潜在的受到硬件设备瞬时故障影响的敏感代码。据此,采用适当方法对敏感代码进行修复完善,将可以实现设备驱动程序的安全加固。

主 题 词：设备驱动程序 硬件瞬时故障 敏感代码 Linux 自动分析 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1003-6970.2015.12.003

馆 藏 号：203188265...