计算机工程与应用2016,Vol.52Issue(15):110-113,4.DOI:10.3778/j.issn.1002-8331.1409-0177
基于过程间分析的缓冲区溢出易发点检测
Buffer overflow prone points detection based on inter-process analysis
摘要
Abstract
For buffer overflow vulnerability caused by circulating copies of memory, this paper proposes a context-sensitive inter-process analysis and detection model. Through a series of static analysis of binary code, inter-process analysis using data provided by the inter-process analysis, it mines the buffer overflow prone points. This detection model is based on BinNavi open platform, implemented as a plug, is able to screen accurately spill-prone points and effectively reduces false and negative cases.关键词
缓冲区溢出/循环/易发点/过程间分析/函数摘要Key words
buffer overflow/loop/prone points/process analysis/function summary分类
信息技术与安全科学引用本文复制引用
邹雪,王兴起,方景龙,王大全..基于过程间分析的缓冲区溢出易发点检测[J].计算机工程与应用,2016,52(15):110-113,4.基金项目
国家部委基础科研重点项目;国家部委技术基础科研项目。 ()