poi xml模板 操作pdf_PDF漏洞(CVE201812794)浅析

 漏洞简介 

CVE-2018-12794属于类型混淆漏洞,产生漏洞原因是通过构建XML数据包(XML Data Package,XDP)模版,并对XML表单体系结构(XML Forms Architecture,XFA)对象执行某些JavaScript操作,攻击者就可以强制Adobe Reader从模版对象的边界引用数据。

2018年7月份,Adobe补丁更新:

漏洞基本信息

漏洞ID

CVE-2018-12794

漏洞名称

PDF类型混淆漏洞

漏洞类型

远程代码执行

威胁类型

类型混淆

影响版本

影响2018.011.20040及之前版本

 漏洞测试 

系统环境

Win7 32

Adobe Reader

2018.011.20040

PoC

https://github.com/thezdi/PoC/tree/master/CVE-2018-12794

 PoC分析 

XML Data Package(XDP)是Adobe Systems创建的XML 文件格式。该格式允许将PDF内容或Adobe XML Forms Architecture(XFA)资源打包在XML 容器中。XDP符合XML 1.0的规范,可以作为独立文档,也可以在PDF文档中携带。XDP提供了一种在XML容器中打包表单组件的机制,XDP还可以打包PDF文件以及XML表单和模板数据。

e672f464907a63ab32f53d3e12a7f43e.png

第1个object流对象里面的XFA(XML Forms Architecture)对象会执行Java代码,该代码会操作sub1和sub2,先将sub1添加为xfa.template对象,sub2添加为xfa.from对象,然后将sub2附加到sub1。

2dfff9699d5f34c081ccca07a15f7677.png

最后执行Java代码将o2的presence属性设置为inactive ,该属性的含义为隐藏对象并将其从事件处理中排除。在执行该操作的时候将触发crash。

 调试分析 

通过gflags 开启页堆后,用Windbg附加Adobe Acrobat DC打开PoC文件。程序会停在发生crach的位置。

2961afc2b64ed80da9f3a9faad170acf.png

从上面调试信息中可以看到,异常出现在AcroForm.api模块,ecx的值异常导致程序crash,通过栈回溯可以定位到crash的上一层函数AcroForm!PlugInMain+0x979f1,反汇编该函数并观察ecx的值(ecx的值是直接传入crash函数使用)。

ed2954e2f0b89638435a398d4ca20527.png

反汇编代码后发现ecx的值来自[eax+esi*8],而esi只是一个偏移且为0,故ecx的值与eax有关,来自[edi+1d4h]。该地址的值是一些字符串,由此推测,是把该字符串的值当成了指针来引用,从而导致crash。

a9d29af3e40ceef028c307e2e4cfb98d.png

经多次调试发现[edi+1d4h]每次的值都不同,这个地址的值是未知的,如下图。

05456e548e72cbdf38ec27e0cf781dcb.png

使用堆命令查看edi所在的空间大小为140h,猜测是一个对象指针或者一块申请的内存空间,而[edi+1d4h]显然已经是越界访问。

ea74478e18eb99242656ad5cbc1276a9.png

从代码中知道为XFA对象,参考《SyScan3602016-_Pwning_Adobe_Reader_with_XFA》报告

中给出的关于XFA内部对象的识别办法获取Type-IDs。使用uf poi(poi(对象地址)+8)的命令可以显示出Type-IDs。

bc103e1e6389dca83cec827fc9d7d51a.png

可以看到类型为7C00h,说明了该堆块保存的就是一个XFA对象。

0599e80906408ec76b08e5e63ad39048.png

通过交叉引用得到 XFATemplateModelImpl  的虚表,再通过交叉引用构造函数就能找到这个对象大小为 140h 字节。

183bcc7ce0d7de05669b94cff725569d.png

在XFATemplateModelFactoryImpl::newModel函数中可以看到申请了140h字节的空间,从函数名猜测这里是new一个大小为140h的Template对象。

在虚表进行交叉引用可定位到相应的初始化Form对象的地址,Form对象申请的空间大小是270h, [edi+1d4h]的地址实际应该是读取的Form对象中的值,Template对象大小是140h,所以漏洞的根本原因是代码在处理Template对象时使用了Form对象的函数进行处理,造成了类型混淆漏洞。

参考资料

https://github.com/siberas/arpwn/blob/master/slidedecks/SyScan360_2016_-_Pwning_Adobe_Reader_with_XFA.pdf

https://xz.aliyun.com/t/4262

http://blogs.adobe.com/formfeed/2009/03/xfa_30_presenceinactive.html

969d553b1799ffff33936bf021d49730.png

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值