计算机工程与科学2017，Vol.39Issue(4)：734-739,6.DOI:10.3969/j.issn.1007-130X.2017.04.017
基于性质制导符号执行的Linux驱动程序缺陷检测研究
Property guided symbolic execution based bug detection of Linux Drivers
摘要
Abstract
Device drivers constitute an important part of an operation system (OS).The reliability of device drivers is critical to the security and reliability of OSs.We propose a property guided symbolic execution based framework for the bug detection of Linux device drivers.To analyze multiple properties simultaneously,we propose a multiple properties guided symbolic execution method.Based on the LLVM and KLEE,the framework and the property guided method are implemented.The results of the preliminary experiments on real world Linux drivers demonstrate the effectiveness and efficiency of the proposal.关键词
驱动程序/符号执行/缺陷检测Key words
drivers/symbolic execution/defect detection分类
信息技术与安全科学引用本文复制引用
陈英杰,陈振邦,董威..基于性质制导符号执行的Linux驱动程序缺陷检测研究[J].计算机工程与科学,2017,39(4):734-739,6.基金项目
国家973计划(2014CB340703) （2014CB340703）
国家自然科学基金(61472440,61632015,61272140) （61472440,61632015,61272140）
