基于性质制导符号执行的Linux驱动程序缺陷检测研究

• 作者: 董威 陈振邦 陈英杰
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 驱动程序 符号执行 缺陷检测
• 年，卷（期）: 2017,（4）
• 所属期刊栏目: 软件工程
• 页码范围: 734-739
• 页数: 6页
• 分类号: TP311.5
• 字数: 4723字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2017.04.017

摘要

驱动程序是操作系统的重要组成部分.驱动程序运行于内核态,其可靠性对于操作系统的安全可靠非常关键.针对Linux驱动程序,研究基于符号执行的驱动程序缺陷自动检测方法.提出了基于性质制导符号执行的Linux驱动程序缺陷检测框架,以及多性质制导的符号执行方法,支持针对多个缺陷性质的快速缺陷检测.在LLVM和KLEE的基础上实现了提出的框架和方法,并在实际的Linux驱动程序上开展了初步实验.实验效果表明了所提方法和检测框架的有效性和高效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	董威	国防科学技术大学计算机学院	32	402	10.0	19.0
2	陈振邦	国防科学技术大学计算机学院	6	91	3.0	6.0
3	陈英杰	国防科学技术大学计算机学院	1	3	1.0	1.0