计算机应用与软件2016，Vol.33Issue(4)：273-276,4.DOI:10.3969/j.issn.1000-386x.2016.04.064
基于S2E的Use-After-Free漏洞检测方案
USE-AFTER-FREE VULNERABILITIES DETECTION SCHEME BASED ON S2E
摘要
关键词
Use-after-free漏洞/漏洞检测/悬垂指针/污点传播/符号执行Key words
Use-after-free vulnerability/Vulnerability detection/Dangling pointer/Taint propagation/Symbolic execution分类
信息技术与安全科学引用本文复制引用
冯震,聂森,王轶骏,薛质..基于S2E的Use-After-Free漏洞检测方案[J].计算机应用与软件,2016,33(4):273-276,4.基金项目
国家自然科学基金项目(61332010) （61332010）
高级XXX技术研究(秘密级)(CNITSEC-KY-2013-009/2). （秘密级）
