摘要
操作系统是整个计算机系统的核心,而设备驱动程序则占据操作系统内核的相当份额并对系统安全产生举足轻重的作用。作为主机与外围设备之间通信控制的桥梁,设备驱动无疑会受到硬件设备故障的直接影响。在Linux系统中,驱动程序问题是造成系统安全的主要根源之一。特别地,由于设备驱动代码的编写往往没有考虑到硬件设备的瞬时故障,所以当硬件设备发生瞬时差错的时候,就有可能导致相应驱动程序甚至整个系统出现不可预料的后果。本文主要讨论了面向硬件瞬时故障的驱动程序敏感代码的自动分析方法,并设计和实现了对应的代码分析工具原型。运用该工具原型对Linux内核设备驱动源码的实验分析结果表明,该方法和原型可以发现设备驱动中潜在的受到硬件设备瞬时故障影响的敏感代码。据此,采用适当方法对敏感代码进行修复完善,将可以实现设备驱动程序的安全加固。
The operating system is the core of the whole computer system,while the device drivers account for a great proportion of the operating system kernel and thus play a pivotal role for system security.Device drvers are bridges between the main frame and peripheral devices.The failure of the drivers is one of the major causes of system failures for Linux..Furthermore,the transient faults of the hardware devices are always not taken into account in the design and implementation of drivers.Whenever some transient fault about the hardware devices occurs,it will lead to an unexpected failure of the driver or even crash of the whole system.In this paper,the method for automatic analysis and detection of sensitive codes relating to transient hardware failures for Linux device drivers are discussed and a cor-responding prototype is designed and implemented.Moreover,source codes of drivers for Linux kernel 2.6.18 are ana-lyzed by using the prototype,and many potential sensitive codes associated with the transient hardware faults are found,which can be further used to fix the device drivers and to improve the reliability of the system.In a word,the method and the prototype in this paper are effective and significant.
出处
《软件》
2015年第12期9-15,共7页
Software
基金
中央高校基本科研业务费专项基金资助(课题编号:2009JBM019)
国家留学基金(File No.201307095025)
