第3卷第2期2024年3月信息对抗技术InformationCountermeasureTechnologyVol.3No.2Mar.2024引用格式:黄晖,陆余良,朱凯龙,等.一种地址泄露敏感的二进制软件漏洞自动验证方法[J].信息对抗技术,2024,3(2):82-94.[HUANGHui,LUYuliang,ZHUKailong,etal.Anautomaticaddressleakagesensitiveexploitgenerationmethodforvulnerabilitiesinbina-ryprograms[J].InformationCountermeasureTechnology,2024,3(2):82-94.(inChinese)]一种地址泄露敏感的二进制软件漏洞自动验证方法黄晖1,2,陆余良1,2*,朱凯龙1,2,赵军1,2(1.国防科技大学电子对抗学院,安徽合肥230037;2.网络空间安全态势感知与评估安徽省重点实验室,安徽合肥230037)摘要软件漏洞自动验证是分析漏洞可利用性、评估其危害性的重要手段。然而在目标系统开启地址空间布局随机化(addressspacelayoutrandomization,ASLR)漏洞缓解机制条件下,由于缺乏地址泄露事件的构造能力和有效的漏洞利用载荷运行时重定位方法,当前技术无法生成能有效验证漏洞可利用性的输入样本。为解决上述问题,提出了一种地址泄露敏感的二进制软件漏洞自动验证方法。该方法包含完全地址泄露漏洞状态自动构造和运行时环境无关的漏洞利用会话自动生成2个阶段。首先,综合执行状态动态监控、地址泄露样本自动构造、地址泄露导引的模糊测试等技术,自动生成能够蕴含执行目标载荷所需的全部地址泄露事件,并于其后触发漏洞的程序状态。然后,基于该漏洞触发状态,综合漏洞可利用状态构造、漏洞利用模板自动提取、基于载荷运行时动态重定位的漏洞可利用性自动验证等技术,自动构造出能够动态适配于目标系统运行环境的漏洞利用会话,并基于该会话自动完成目标漏洞可利用性分析。基于上述技术实现了LeakableExp原型系统,并以该原型系统对2个测试程序、14个CTF、RHG竞赛赛题程序和4个实际漏洞程序进行了实验分析。实验结果表明,LeakableExp具备在ASLR开启条件下,自动泄露目标系统敏感地址、分析漏洞可利用性的能力。关键词地址泄露;载荷重定位;漏洞自动验证中图分类号TP393文章编号2097-163X(2024)02-0082-13文献标志码ADOI10.12399/j.issn.2097-163x.2024.02.008AnautomaticaddressleakagesensitiveexploitgenerationmethodforvulnerabilitiesinbinaryprogramsHUANGHui1,2,LUYuliang1,2*,ZHUKailong1,2,ZHAOJun1,2(1.CollegeofElectronicEngineering,NationalUniversityofDefenseTechnology,Hefei230037,China;2.AnhuiProvinceKeyLaboratoryofCybersp...
