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

中国计算机学会会刊
中国科技核心期刊
中文核心期刊

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

陈英杰，陈振邦，董威

Property guided symbolic execution

based bug detection of Linux Drivers

CHEN Ying-jie，CHEN Zhen-bang，DONG Wei

计算机工程与科学 . 2017, (4): 734 -739 .