内存损坏漏洞是软件中始终存在的风险,攻击者可以利用其获得未经授权的权限访问机密信息。随着软件对敏感数据的访问变得越来越普遍,潜在的可利用漏洞的系统也越来越多,导致越来越需要软件工具进行自动检查。现有的寻找潜在漏洞的技术包括静态分析,动态分析,和符号执行分析,各有其优缺点。这些系统创建输入以触发缺陷的设计大多都只能找到浅层的漏洞,并且它们都努力尝试探索可执行文件更深层的路径。本文中设计实现了一个新型的漏洞挖掘系统,它以一种互补的方式平衡了模糊测试(Fuzzing)和可选择的符号执行(Selective Concolic Execution),用来找到更深层的漏洞。低成本的模糊测试用来探索应用隔区,符号执行测试用来生成通过隔区检查且复杂的输入。结合动态模糊测试和符号执行,能够有效地找到潜藏在二进制中的漏洞。本文介绍一个二进制隔区的概念,这在很大程度上分离了功能和代码。在本系统中,模糊器提供了快速且廉价的隔区探索,有效地探索循环和简单的检查,但通常不能在隔区之间转换。当考虑到循环和内部检查时,选择性的符号执行将进入状态爆炸,但它在找到二进制中隔区之间的路径时非常有效。通过结合这两种各自都具有一定缺点的技术,系统能够探索二进制内更大的功能空间。通过结合两种技术各自的优势,我们弥补了他们各自特定的缺陷:既有效避免了符号执行原有的路径爆炸,又充分解决了模糊测试的盲目性、不完备性。本系统使用可选择的符号执行,只去探索被模糊器认为感兴趣的路径,并为模糊器无法通过的检查生成有效输入,并对其作出了预约束控制、探索缓存等优化,大大提升了系统的执行性能。最后本文在CGC大赛上发布的126个含有漏洞的应用程序上对本系统进行了测试评估,在有效时间内展现了比模糊测试、符号执行单独两种方法更良好的性能。