论文部分内容阅读
本文首先对目前C/C++程序中存在的各种安全漏洞做出总结，描述了目前已有的各种自动化检测方法和半自动化工具，并对其进行了分析对比。
本文提出了以动态检测技术中的数据流检测为核心的检测流程和方法，将现有的静态分析、技术动态分析技术和黑盒测试方法融入到漏洞检测的各个环节中。在考虑到检测效率和准确性的前提下，充分利用各种检测技术的优点，来进行漏洞检测。基于上述提出的流程和方法，我们发现了一些应用软件存在的安全漏洞，这些漏洞的发现初步证明了我们提出的方法是有效的。