针对循环拷贝内存引发的缓冲区溢出漏洞，提出了一种上下文相关的过程间分析检测模型，通过对二进制代码进行一系列的静态分析，使用过程间分析提供的数据交互关系，对缓冲区溢出易发点进行挖掘。这种检测模型基于BinNavi的开放平台，以插件形式实现，能够对溢出易发点进行精确的筛选，有效地减少误报漏报情况。