软件漏洞是网络空间安全的重要威胁之一。随着自动化漏洞挖掘技术的发展,高效的漏洞挖掘与有限人力资源下低效的漏洞分析与修补之间的矛盾凸显出来。发展自动化的漏洞可利用性评估方法是解决这一矛盾的关键。以漏洞的可利用性衡量漏洞的危害性,优先修补危害性高的漏洞,可将漏洞导致的损失降至最低。由于漏洞类型的多样化与系统防御措施的存在,自动化的漏洞利用仍然是一个具有挑战性的问题。现有自动化漏洞利用技术通常将漏洞的利用局限于崩溃路径,利用符号执行技术等对崩溃状态进行建模,并基于崩溃状态进行漏洞利用。然而崩溃状态并不等于可利用状态,可利用状态并不一定存在于崩溃路径上,基于崩溃状态的漏洞利用会限制对漏洞的利用,导致低估漏洞的危害性。因此,当崩溃状态不可利用时,寻找程序执行中的潜在可利用状态是自动化漏洞利用中的一个关键问题。此外,现有的自动化漏洞利用工作大多数基于弱安全防御生成利用,这导致他们在面对安全防御措施时的利用能力不足,无法准确评估漏洞在真实环境中的危害性。本文针对上述问题开展研究,提出了一种新的漏洞可利用性评估及验证方法。针对可利用状态难以寻找的问题,本文提出了基于符号执行的可利用状态推理方法。该方法围绕漏洞点展开可利用状态的探索,结合不同类型漏洞的特点,设计了栈溢出漏洞可利用状态推理方法与堆漏洞可利用状态推理方法,提高了可利用状态的探索能力。针对系统安全防御措施绕过问题,本文提出了强安全防御条件下的利用代码生成方法,该方法通过对多种漏洞利用技术进行利用模式构建,将防御绕过的高级漏洞利用技术转化为漏洞利用生成过程中的规则与约束,增强自动化漏洞利用工作对抗防御措施的能力。本文实现了原型系统Aeg Ex。为了验证本文所提方法的有效性,本文在39个CTF程序上与现有工作进行了对比实验评估。实验评估结果表明,Aeg Ex具有更强的漏洞利用能力。