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

文件格式： PDF文档

文件大小： 827.96 KB

资源类别：计算机

关键词：制导符号缺陷基于检测

进入标准下载页面

本资源下载需 1 点

论文简介

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

相关推荐