邮箱:service@hongdaqianqiu.com
Hacking Team事件已经过去1个星期，社会各界针对泄露数据的分析还在进行中。为了帮助安全技术从业者后续能够有更多的人加入到分析队伍中来，绿盟科技安全技术专家将Flash 0Day的分析方法开放出来跟大家共享，便于技术人员能够入手Flash 0Day漏洞分析。
在看完本报告后，如果您有不同的见解，或者需要了解更多信息，请联系：
自7月5日晚，Hacking Team被Gamma Group Hacker攻陷以来，其泄露的400GB数据包持续在业界传播发酵，绿盟科技威胁响应中心持续跟踪事态进展，给出系列分析报告，同时也将相关解决方案提供给合作伙伴及最终用户，以便用户能够应对可能发生的攻击，此次事件告一段落。今天绿盟科技安全技术人员将针对此次泄露的Flash 0Day漏洞，将分析方法、工具及相关知识分享出来，希望更多的安全行业从业者能够从中有所获益。
绿盟科技一直参与微软MAPP计划，该计划里面也包含了Adobe公司爆出的漏洞，通过以往长期跟踪分析的经验来看，Adobe漏洞主要集中在两款产品一个是Abode reader，另一个就是Adobe Flash。此次报告分析的漏洞就是关于后者的漏洞，该漏洞在绿盟科技漏洞库中具有这些标识，CVE-2015-5119，Adobe Flash Player Actionscript 3 ByteArray释放后重用远程漏洞（CVE-2015-5119），BUGTRAQ ID: 75568 ，CVE(CAN) ID: CVE-2015-5119
为什么Hacking Team用了Flash漏洞，是因为Flash漏洞相比其他软件，协议，服务的漏洞要更难分析和利用，一方面可以为黑产竞争者制造壁垒，同时也为分析和防护Flash 0Day提升难度。究其原因有以下几个方面：
POC的基本功能就是验证并触发该漏洞或是Bug存在，但是能触发漏洞，不代表就一定能利用漏洞；有些漏洞是不能利用，当然我们也可以不管这类漏洞叫漏洞，而只能称之为Bug。但此次泄露出的Flash0day数据，是可以被触发的。
那么此次的漏洞如果被触发，会有什么样的结果呢？先来看看漏洞触发后的现象。通过分析，利用该漏洞可以在IE中稳定的执行系统可执行文件，比如在下图中就弹出了计算器。
方法很简单利用构造的test.html加载swf文件，在加载swf文件时IE会提示要加载ActiveX插件，运行就行。加载插件后点击图中的”run calc.exe”按钮即可弹出计算器，漏洞利用成功。这个实验中使用Win7 64位、IE11，能稳定触发漏洞。
Adobe Flash Player存在一个严重的释放后重利用内存破坏漏洞，攻击者可能远程获得当前用户的权限。此漏洞影响大量Flash Player版本，此漏洞影响大量Flash Player版本，目前已有可利用的攻击代码公开发布，强烈建议受影响用户更新到当前厂商提供的最新版本。
该漏洞是一个典型的UAF释放重利用的漏洞。用户改写字节数组大小，在原来字节数组释放后，重新分配，导致该数值被写入已经释放的内存中，造成释放重利用。
由于HackingTeam泄露出的数据中暴露了Flash 0Day漏洞源码，我们的得以使用CS进行动态调试。
利用CS装载源文件中的fla原始档，和其他as文件。生成SWF文件
可以看出先是调用了MyClass.as文件中的InitGui函数来初始化GUI元素并输出一些系统相关信息，点击swf文件中的button按钮就会调用相应的处理函数如下图所示：
处理函数btnClickHandler里面首先调用了TryExpl函数如下图所示：
接下来就看看TryExp1函数里面是怎么样做到漏洞利用的，进入该函数
从给出的源码可以看出先是声明了变量alen=90然后声明一个数组a并将数组的各元素赋值，在AS中Array数组类型的变量不像C/C++数组一样要求是同一类型的数据在可以放到数组里面，在AS中不同类型的变量对象可以放到同一数组里面。从源码可以看出，a数组的90个元素是MyClass2对象和ByteArray类型数组交替出现，并且每分配两个MyClass2元素才会分配一次BtyeArray类型数组，那么实际运行效果是怎么的呢，我们利用CS调试功能在for结束后的下一条语句下了断点显示如下图：
从图中看出我们在for(i=alen-5;i>=0;i-=3)处下了断点，在调试运行后，让a数组填充完毕；左上部紫色的框给出了按钮按下后堆栈中函数调用关系，btnClinckHandler->TryExp1。左下方的红框给出了a数组赋值完成后每个元素的实际值，从图中看出，除了a[0]外，每出现一次ByteArray元素要出现两次MyClass2元素，这和我们刚才通过静态代码分析的结果是一致的。
接下来就是一个for(i=alen-5;i>=0;i=3)语句，前面知道alen=90那么在第一次循环时i=85通过源代码中的赋值我们知道a[85]的大小是0Xfa0，源码中将_ba=a[i]也就是第一次将a[85]赋给_ba(也就是_ba大小为0xfa0)同时将一个新的Myclass类赋给_ba的第四个字节_ba3。如下图所示
接下来就要动态跟踪一下a[i]是不是a[85]如果是a[85] 那么又是什么类型，为了能查看i的值到底是不是a[85]我在源码中添加了一条调试语句trace(“the number of i =”)看i的值打印多少，根据之前设置的断点，单步执行源代码，如下图所示：
从图中可以看出右下方打印出i的值是85，刚好我们分析的一致，从左边图可以看出a[85]元素的类型是ByteArray类型。接下来代码中会将MyClass对象赋值给_ba3。由前面介绍的知识我们知道，在MyClass对象赋给一个基本类型时，会调用ValueOf函数，这里给对象MyClass定义了ValueOf函数，所以在赋值之前会调用该函数。
继续单步跟进_ba3=new MyClass();调用自定义的ValueOf函数
在我们单步跟踪调试ValueOf函数，_gc数组除了在TryExp1中加入a数组元素外（_gc.push(a)），又通过valueof函数，加入了-va元素(_gc.push(_va))，这样_gc数组就有两个元素，一个是a数组元素，一个是_va数组元素，每个元素又是数组类型，a数组有90个元素，前面已经介绍过了，_va有5个元素，如图中左边显示的结果。在TryExp1中_ba=a[i]大小为0xfa0在valueof函数中_ba通过_ba.length=0×1100会释放调原来的空间而从新分配内存大小。同时通过后面的_va[i]=new Vector.(0x3f0)来重新使用释放的内存。前面我们介绍过，在分配vector类型的空间时其前四个字节是vector大小也就是说，在被释放的空间的开始四个字节会写入0x3f0。
而在_ba3=new Myclass()中_ba3实际指向的内存地址还是释放后的内存地址所以在返回40后被释放的内存的数据就是0x400003f0。
a. 通过a数组创建ByteArray类型元素数据，设置长度为0xfe0：
b.通过调用valueof函数中的_ba.length=0×1100，释放该空间
c.调用分配vector来占据被释放的内存，由前面的知识，我们知道Uint vector包含了8字节的头部信息，其中开始的4字节是长度字段。
d.在valueof返回0×40后，写入到之前_ba3指向的地址中
在Myclass对象调用valueof之前空间内存是esi-3，如下图所示
在调用length=0×1100后，内存空间被释放，申请的vector利用释放后的空间，从下图可见vector前四个字节值是0x3f0
在valueof返回后_ba3指向的第四个字节0x10a70003被赋值为0×40
此时vector的长度字段已经变成了0x400003f0
那么利用该漏洞是否可以达到提权的目的呢，让我们来验证一下。利用windows7自带的IIS服务搭建一个Web服务，将test.html和exp1.swf放在web服务目录中同时将test.html中对exp1.swf引用改为绝对地址引用，这样在访问test.html时方便加载exp1.swf。设置IE启动保护模式，同时需要启动ProcessExplorer工具来监控IE进程和进程的权限等级。
从ProcessExplorer结果来看进程ID为1792的iexplore是沙箱进程，产生的子进程6512是在访问test.html是生成的一个Tab，如下图
当然有多个IETab标签时会有多个子进程，同时受到一个沙箱进程的保护，从图中看出沙箱进程等级是Medium，属于标准用户权限等级，而子进程6512则是low等级，是沙箱中的IE TAB进程的默认等级，IE沙箱中的IE TAB进程默认等级就是低。从图中可以看出，IE TAB子进程产生的calc子进程也是low。
由此上面的分析，我们可以看出利用该漏洞并未达到权限提升的效果，也就是说，攻击者单独使用这个Flash 0Day漏洞是无法获得高权限的，它只是创建了一个低等级的进程，需要结合其他方法来提权，比如此次泄露数据中的windows内核字体权限漏洞，利用此内核漏洞是很容易提升权限的。同时，结合之前我们对Hacking Team远程控制软件的分析，可以看到其代理有两种安装方式：
那么，我们这里可就可以画出一张可能的入侵乃至实现监控目的链条：
万变不离其宗，在上面的攻击链条中，有很关键的一条，用户需要执行恶意代码，漏洞利用才能成功，那么从防护的角度来说至少需要有这些层面，1要能够侦测到恶意的Flash脚本；2要能够阻断Flash脚本的执行；3即便在执行后能够查杀恶意进程。值得一提的是，从下面的截图中可以看到在大家四处下载400GB泄露数据包的时候，恶意swf就藏在这些网站页面中，从这一点就可以看到其攻击目标很明确，针对中间环节的攻击从未停止。请下载这些数据包的人需要小心谨慎，不要四处传播这些数据包。
在上次防护方案中，我们也提出用Intrusion Kill Chain模型来进行Flash 0Day乃至后续攻击的防护方案的参考，具体的分析请参考那篇报告。
同时，从用户的角度来说，建议您可以采取如下方式来防御Flash 0Day漏洞以及以后的类似漏洞
由于Flash使用量庞大，所以攻击者对他的分析以及暴漏出来的漏洞是相当的多且频繁，仅在近两个月，绿盟科技漏洞库就更新发布了一系列相关漏洞，具体信息请查询安全漏洞公告： http://www.nsfocus.net/index.php?act=sec_bug
在上面的分析中可以看到很多的术语和技术细节，为了帮助分析人员分析及应对这个漏洞，下面就结合此次Flash 0day漏洞，谈谈关于Flash方面的知识。
Flash又被称之为闪客，2005年12月3日被Adobe公司收购。Flash通常也指Macromedia Flash Player（现Adobe Flash Player）。2012年8月15日，Flash退出Android平台，正式告别移动端。Flash是一种动画创作与应用程序开发于一身的创作软件，到2013年9月2日为止最新的零售版本为Adobe Flash Professional CC（2013年发布）。目前用的最多的产品是Adobe Flash Professional CS6。
Flash动画说到底就是”遮罩+补间动画+逐帧动画”与元件（主要是影片剪辑）的混合物，通过这些元素的不同组合，从而可以创建千变万化的效果。Flash是一个非常优秀的矢量动画制作软件，它以流式控制技术和矢量技术为核心，制作的动画具有短小精悍的特点，所以被广泛应用于网页动画的设计中，以成为当前网页动画设计最为流行的软件之一。
Flash影片的后缀名为.swf，swf在发布时可以选择保护功能，如果没有选择，很容易被别人输入到他的原始档中使用。
“fla”是Flash的原始档，只能用对应版本或更高版本的Flash打开编辑。
Actionscript是一种程序语言的简单脚本文件，.fla原始档能够直接包含Actionscript，但是也可以把它存成AS档做为外部连结档案（如定义Actionscript类则必须在写在as文件里，再通过import加入类），以方便共同工作和更进阶的程序修改。
而对于一般的Flash方面的漏洞集中于Actionscript脚本解析执行的漏洞利用。目前AS的最高版本是AS3.0。
对于Flash文件，其实和我们平时用的PE文件，ELF及Dex文件类似，也是由一定格式的数据结构组成。Flash文件的扩展名为.swf，其头部格式如下图
再好的说明也没有实际的例子理解的深刻，那我们就结合两个实际Flash的swf文件看看SWF头部结构，如下图所示：
根据对swf文件头部的介绍，不需要大篇幅的文字来说明swf文件头部的结构，结合上面的两幅图，来自于两个不同的文件，exp1.swf，exp2.swf。可以清晰的看到swf文件的的总体结构。
图中的两个swf文件，一个是压缩过的exp1.swf，一个是未压缩的exp2.swf。exp1.swf和exp2.swf由同一个fla原始档和AS脚本编译而成；exp1.swf被压缩，exp2未被压缩。从下图也可以看到两个文件大小的对比情况：
上面两幅swf解析图来自于二进制查看工具010 Editer的截图，在官方下载swf.bt模板，导入010 Editer工具中，打开swf文件，运行模板插件即可识别出二进制文件类型及结构。
简单介绍一下，根据文件头部的说明，文件头部的前三个字节是标识符的开始位为0×46、0×57、0×53（”FWS”）或者0×43、0×57、0×53（”CWS”）其中之一。 “FWS”标识符说明该文件是未压缩的SWF文件，”CWS”标识符则说明该文件前8个字节之后（即文件长度字段之后）的全部数据为开源的标准ZLIB方式压缩，如上图exp1.swf所示；标识符之后是一个字节的版本号，这个版本号并不是一个ASCII码，而是一个8位的数字，比如，图中显示的版本值是0x0F。
文件长度字段是整个包含文件头在内的文件字节长度，如果是未压缩的SWF文件（标识符FWS），那么长度字段应该是和文件大小恰好匹配，如果是一个经过压缩的SWF文件（标识符CWS），那么文件长度字段是指文件经过解压缩之后的总长度，因此它一般不会和文件大小匹配，若果使用未压缩的文件尺寸能够让解压过程获得更高的效率，从上图中的exp1.swf看出使用了未压缩文件大小76528，和exp2.swf一样的大小 。
帧率是以帧每秒为单位的帧回放比率，在exp2中给出的帧率是12，但是在压缩文件exp1中已经被压缩，压缩算法是zlib.帧数是整个SWF影片帧的总数量。从图中看出，在压缩文件exp1也已经被压缩。文件头之后是一系列连续的标签数据块，所有的标签都共享一种通用格式如下图：
Exp2文件的一个整体结构如下图所示：
对swf文件格式的简单介绍就到这里，标签的具体内容这里就不做深入解读了。对于如何查看压缩之后的swf文件内容，会在后面介绍。
对于Flash常用工具，包括编译工具、反编译工具等。这里结合HackingTeam给出的Flash0Day漏洞源码来学习一些常用的Flash工具。
这款工具就是Flash编辑工具CS6.0，也是目前制作Flash动画使用最多的一款工具。该工具具有针对AS脚本简单的调试功能。结合Hackingteam给出的源代码，让CS6.0直接加载源代码中的.fla原始档文件。之后直接运行”Ctrl+Enter”会在源代码目录下生成.swf文件。当然该.swf文件包含了AS脚本的ABC字节码内容；编译后的结果如下图所示，由于在给的Flash0Day漏洞源码中已经给出了一些调试信息，所以在点击”run cale.exe”后，所有出现了一些调试信息，如图所示：
该工具还提供简单的调试功能，为了能够查看和调试AS源码文件，可以同时打开AS源码，加入调试信息或是设置断点来调试AS源码，如图所示
从前面看到的贴图知道，对于SWF文件有压缩格式与非压缩格式，那么为什么会有压缩格式与非压缩格式。在CS5.0以前产生的swf默认都是非压缩格式。如果需要对swf文件压缩需要借助其他的swf压缩工具，比如说MinifySWFFlash Optimizer，LiatoSWF等；而在CS6.0，集成了lzma(7-zip)和zlib压缩算法，对编译的swf文件默认都是压缩格式，所以我们看到的HackingTeam默认编译的exp1.swf是一种压缩格式。
如果想编译出非压缩格式的swf文件，方法也很简单，只需要在发布影片时设置非压缩即可，如下图所示
对于已经发布的swf文件，都不会带有源码，对我们调试swf文件就带来了不小的麻烦，类似分析Android的DEX文件，都是执行在虚拟机中，由虚拟机来解释执行字节码。DEX文件由反编译工具可以反编译出java源码，那么swf文件也有类似的工具，根据SWF文件格式和ABC字节码反编译出类源码的文件。
Swf反编译工具也比较多，这里举个例子利用AS Sorcerer工具来将编译好的swf文件重新解析，下图是HackingTeam爆出了Flash0Day源码
从图中知道，根据exp1.swf文件大小可知，HackingTeam自己编译的是zlib压缩后的文件，当然也可以通过二进制直接看看有没有被压缩，根据前面介绍的知识，只要二进制文件前三个字节是”CWF”那就是压缩后的文件。
接下来我们用AS Sorcerer工具来反编译exp1.swf文件看反编译后的结果：
从反编译结果来看，该工具确实还原了原有的几个AS文件，同时也说明该工具能自动解压由zlib压缩的swf文件，并对swf文件进行反编译解析。
接下来再介绍一款反编译工具—硕思闪客精灵，该工具比上一个款工具有更直观的界面，同时重要了一点就是提供了一款swf文件编辑工具Sothink SWF Editer，不但能识别swf文件结构，而且可以直接编译swf的二进制文件。
先来看反编译工具硕思闪客精灵反编译exp1.swf文件的界面情况：
从图中可以看出该工具将压缩格式的swf文件，直接反编译，同时看到了ABC字节码在反编译后的源码情况。
前面我们提到过对于压缩后的swf文件，010 Editer即使使用了swf模板，也不能解析出压缩后的文件格式。这里就介绍一款能够查看SWF压缩后文件格式的工具，Sothink SWF Editer工具可以直接将压缩的swf文件，解压同时解析出文件结构，如下图所示：
从图中看出压缩的swf文件，在导入该工具后自动解压并识别为FWS文件。而非CWS文件，为我们分析没有源码的并压缩的SWF文件，提供便利。
还有其他的一些反编译工具比如yogdaasvswf decmpiler decompile Flash free，swf deompiler magic等就不一一列举介绍。
AS（Action script）是Flash动作脚本语言，类似于JS（javascript）脚本语言，所以在很多存储结构和对象使用上都可以参考JS脚本语言的使用方式。下面结合本漏洞中会用到的一些结构对象做简要介绍。
对于AS中的数组我们需要知道AS数组不像C/C++中的数组，在C/C++中数组要求存储同种类型的数据，而在AS中可以存储不同类型的数据，可以是基本数据类型也可以是对象类型也可以是自己定义的类型。在本例将要提到的AS中，数据Array就同时存储了ByteArray和MyClass2两种数据类型。
在AS中，Vector只能存储同一类型的元素，其一般使用的格式如下：
Vector类构造函数有两个可选参数，它允许你明确你的Vector实例的数量。第一个参数是length参数。默认情况下，当一个Vector被创建时，它是空的(它有0个元素)。然而，如果你传递一个值给length参数，明确元素数量的Vector实例就被创建了：
Vector对象的另一个特征就是他们可以调整长度，这意味着你可以改变值，但是不能通过添加或删除元素来改变总数。默认地，一个Vector实例是不允许动态修改长度的。要创建一个可修改长度的Vector，将Vector类构造函数的第二个参数(fixed参数)设置为true：
注意： 可以在任何时候修改Vector对象的fixed属性来设置Vector的长度是否可变。
uint Vector在内存中的布局如下图，Uint vector包含了8字节的头部信息，其中4字节是长度字段。
在AS通用对象属性中有两个特殊的方法ToString()方法和ValueOf()方法。
ToString方法没有参数，它返回一个某种程度上代表着对象值的一个字符串，而它正是在这个对象上调用的。当AS需要将一个对象转换为一个字符串对象时，就需要调用该函数。比如当使用+运算将一个字符串和一个对象链接起来，或是当期待一个字符串的函数Alert传递一个对象的时候就会默认调用该函数。
ValueOf方法和ToString方法类似，它是当AS需要把一个对象转换为某种基本数据类型时就会调用该方法。比如一个对象用在需要一个基本数值的环境中，AS会自动调用该函数，而在本文提到的漏洞中正式利用了这一点，在将一个对象Myclass转为字节类型时默认调用Myclass的ValueOf方法。
Flash ActiveX控件是Adobe提供的解析执行swf文件的引擎文件。AS1.0的时候Flash还没有虚拟机机制，AS2.0在控件中集成了AVM1，AS3.0集成了AVM2。
方法一：随便打开一个视频网站的视频文件，点击右键看Flash版本，这里Flash版本就是本机安装的Flash版本，这里以优酷视频为例显示出本机Flash版本：
方法二：在本机控制面板中，点击本机控制面板中的Flash player，在更新标签中显示了跟控件的版本信息，如图：
方法三：在注册表中查看，如图示：
方法四：登录Flash官网在线查看Flash版本，地址为 http://www.Adobe.com/software/Flash/about/，该网址能自动识别出本机的Flash控件版本，其显示结果为：
方法一：在控制面板的Flash player中安装更新
方法二：官网下载
方法三，在上面视频网站打开视频，点击右键，点击关于Adobe也会进入官网下载
Flash控件的安装目录默认在C:/Windows/System32/Macromed/Flash下，在系统目录下，这玩意要求权限还挺高的，控件名Flash32.ocx，如下图所示：
Flash控件就是个PE类型的文件，可以使用PE查看工具来查看该文件。前面说过Flash控件不是微软发布的控件，没有提供符号表，所以不能看到详细的导出函数，下面是用LoadPE工具来查看它所有的导出函数，如下图所示
从图中可以看出我们能看到的导出函数函数只有8个。在使用IDA工具加载该控件后我们能看到的绝大部分函数名是下面这种类型：
很难辨认出函数名和函数的作用。所以对很多人来说分析Flash漏洞就更难了。
[via@绿盟科技]
Copyright © hongdaChiaki. All Rights Reserved. 鸿大千秋 版权所有
联系方式：
地址: 深圳市南山区招商街道沿山社区沿山路43号创业壹号大楼A栋107室
邮箱：service@hongdaqianqiu.com
备案号：粤ICP备15078875号
