计算机工程与科学2016，Vol.38Issue(12)：2536-2541,6.DOI:10.3969/j.issn.1007-130X.2016.12.021
结合静态分析与动态符号执行的软件漏洞检测方法
A software vulnerability detection method based on static analysis and dynamic symbolic execution
摘要
关键词
软件漏洞检测/静态分析/动态符号执行/危险路径Key words
software vulnerability detection/static analysis/dynamic symbolic execution/dangerous path分类
信息技术与安全科学引用本文复制引用
蔡军,邹鹏,熊达鹏,何骏..结合静态分析与动态符号执行的软件漏洞检测方法[J].计算机工程与科学,2016,38(12):2536-2541,6.基金项目
国家863计划(2012AA012902) （2012AA012902）
“核高基”国家科技重大专项基金(2013ZX01045-004) （2013ZX01045-004）
