软件安全漏洞是一类特殊的软件错误,它一般不影响软件功能的正常实现,但恶意的攻击者可以利用这些安全漏洞访问未授权资源,破坏敏感数据,进而威胁信息系统的安全。软件安全漏洞发掘是一种预先发现软件潜在安全漏洞,保证信息安全的重要技术。论文首先从软件安全策略的角度给出了软件安全漏洞的定义,分析了安全漏洞的本质和产生原因,总结和比较了目前在漏洞发掘中采用的主流技术,并对典型软件安全漏洞的原理、产生条件和SVDP中采用的相关检测算法进行了研究,提出了一套软件安全漏洞发掘流程和方法。然后介绍了SVDP系统的设计构架和各功能模块的实现方法,研究了一种新的循环检测算法,最后对SVDP进行了测试分析,验证了该系统的有效性和实用价值。课题的主要研究工作如下:1通过对软件安全漏洞概念和产生原因的研究,以及对现有漏洞发掘方法的分析和对比,摸索总结出一套安全漏洞发掘流程和方法。2运用论文提出的安全漏洞发掘流程和方法,研究并设计了基于IDA Pro的半自动化漏洞发掘辅助工具SVDP,实现了多模式、多引擎反汇编代码级漏洞发掘。3分析了目前常见的自然循环检测算法,指出了其在进行不可复归循环检测时的缺陷,实现了一种可同时适用于可复归循环和不可复归循环检测的新算法。