记录黑客技术中优秀的内容, 传播黑客文化,分享黑客技术精华

Swf Decrypt详解

2015-07-03 22:35

攻击在持续,攻击的技术在演进。防御者需要持续的跟进研究和投入。最近Flash 0day频繁出现,将我们更多的目光集中到flash上。

Flash作为脚本语言,可以编译,不少的恶意flash文件通过各种加密、混淆、动态解密来对抗人工分析和引擎检测。通过动态执行,常见的动态解密的swf都可以解决。不过遇到很多条件判断、环境依赖的限制,往往又无法稳定dump出解密的swf文件和关键的数据(shellcode)。如果能在静态的方法对混淆、加密的swf文件直接进行反混淆、反编译,则将能有效提升检测效果。

市面上可以对swf进行加密的软件很多,如swfencrypt、doswf、secureswf、dcomsoft等,我们这次对doswf以及secureswf进行简单的分析,与各位小伙伴分享。

恶意的SWF常常通过doswf加密和secure swf混淆,真正利用的部分被加密、混淆,通过研究doswf的加密方式以及secureswf的混淆方式,可以直接通过静态的方法进行相应的解密和反混淆,直接检测最核心的恶意代码部分,有效提升引擎检测率。(用户可使用文件B超系统 http://b-chao.com 和云盾-星云APT检测产品享受到我们的技术成果)

doswf

doswf是国人开发的一款flash加密混淆软件,从官网可以看出该软件已经停止了开发,当前最新版本为5.4.3。

我们对比了版本4.9.7和最新版本之间加密效果的区别,发现两者相差不大,在介绍完整体的加密流程之后,再将它们之间的差异展示出来。

Crypt Flow

经过doswf加密的swf文件,都存在DefineBinaryData的tag,因为原始swf文件将会存放在这个二进制数据中,二进制数据经过解密后通过loadbytes进行加载。

这个二进制数据的头部结构如下(B标示字节):


原始swf文件从起始以offset为步长,每次对block_sz的块进行处理,块中的数据并不是逐一字节处理的,而是依据一个特定值跳跃处理,在整个文件处理完成后进行压缩,压缩后的数据再加上上面的头部信息就形成了完整的二进制数据了。

上面的描述简化了一些不重要的因素,如doswf加密时还会嵌入两个额外的swf文件,所以当解密二进制数据后,会发现解密后的数据中包含三个swf,这时只要根据硬编码特征”FWS”、”CWS”就可以将所有包含的swf文件完整dump出来。

关键解密代码:

版本4.9.7和最新版本解密代码的差异:

可以看到,差异在于头字节结构的几个值得获取、大小端以及跳跃值的不同。

我们拿CVE-2012-0779样本(md5:2b98d285c8b581855d59ac368956ee78)进行测试,这是一个doswf4.9.7版本加壳的样本:

检测dump出的数据,可以发现里面包含有三个swf文件。

Decrypt Code

目前放出针对旧版的解密代码(新版自行解决,根据前面的提示很容易更改),仅支持解压后的doswf解密

/*
 * Decoder for DoSWF.
 * This extracts the DefineBinary tag from argv[1] to argv[2]. To un-zlib that using python:
 *
 * python -u -c \
 *   "import sys, zlib; sys.stdout.write(zlib.decompress(sys.stdin.read()))" \
 *   < definebinary.z > definebinary.txt
 *
 * Then trim off the first 6 bytes to get to the SWF header.
 */
 
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <byteswap.h>
#include <zlib.h>
 
#pragma warning(disable:4996)
 
#ifdef _DEBUG
#define DBGBREAK() __debugbreak()
#else
#define DBGBREAK()
#endif
 
#define LOG(...) fprintf(stderr, __VA_ARGS__)
//#define DIE(...) (LOG(__VA_ARGS__), DBGBREAK(), exit(1), 0)
#define DIE(...) (LOG(__VA_ARGS__), exit(1),1)
 
typedef unsigned char byte;
void decompress_string(byte* data, int length, byte *out, int *outlength, int avaout);
 
void handle_DefineBinary(FILE *fi, FILE *fo, int taglen, byte *buffer)
{
            LOG("* dumping DefineBinary section\n");
 
            byte *end = buffer + taglen;
            byte *ptr = buffer, *old;
 
            #define GET(type) ( \
                                    ((ptr+sizeof(type) >= end) ? DIE("eof\n") : 0), \
                                    old = ptr, \
                                    ptr += sizeof(type), \
                                    *(type *)old)
 
            short tag = GET(short);
            int reserved = GET(int);
            LOG("2* dumping DefineBinary section,tag=%u,reserved=%d\n", tag, reserved);
 
            byte block_size = GET(byte) - 1;
            byte key = GET(byte) - 1;
            int offset = __bswap_32 (GET(int)) - 2;
            int length = __bswap_32 (GET(int)) - 2;
 
            byte *data = buffer+taglen-length;
            LOG("3* dumping DefineBinary section, block_size=%d,offset=%d,data[0]=%x\n", block_size, offset,data[0]);
           
            for (int count = 0; count < length;) {
                        for (int i = 0; i < block_size; i += 5) {
                                    data[count] = data[count] ^ key;
                                    ++count;
                                    if (count >= length)
                                                break;
                        }
                        count = count + offset;
            }
 
            LOG("4* dumping DefineBinary section\n");
            //fwrite(data, 1, length, fo);
            LOG("5* dumping DefineBinary section\n");
           
            int outl = length*5;
            byte *outd = new byte[outl];
            decompress_string(data, length, outd, &outl, outl);
            fwrite(outd, 1, outl, fo);
 
}
 
void decompress_string(byte* data, int length, byte *out, int *outlength, int avaout)
{
            z_stream zs;                        // z_stream is zlib's control structure
            memset(&zs, 0, sizeof(zs));
 
            if (inflateInit(&zs) != Z_OK)
                        LOG("init error!\n");
 
            zs.next_in = data;
            zs.avail_in = length;
 
            int ret;
            zs.next_out = out;
            zs.avail_out = avaout;
 
            ret = inflate(&zs, 0);
 
            inflateEnd(&zs);
 
            if (ret != Z_STREAM_END) {          // an error occurred that was not EOF
                        LOG("inflate end error,ret=%d!\n", ret);
            }
            *outlength = zs.total_out;
 
            return;
}
 
 
int main(int argc, char *argv[])
{
            if (argc != 3)
                        DIE("syntax: UndoSWF <input.swf> <output.as>\n");
 
            FILE *fi = fopen(argv[1], "rb");
            if (!fi)
                        DIE("can't open %s\n", argv[1]);
 
            FILE *fo = fopen(argv[2], "wb");
            if (!fo)
                        DIE("can't create %s\n", argv[2]);
 
            char header[9];
            if (fread(header, 1, 9, fi) != 9)
                        DIE("can't read header\n");
            if (memcmp(header, "FWS", 3))
                        DIE("invalid header\n");
 
            int rectbits = header[8] >> 3;
            int hdrbits = 8*8 + 5+rectbits*4;
            int hdrbytes = (hdrbits+7)/8 + 4;
 
            LOG("header size: %d\n", hdrbytes);
            if (fseek(fi, hdrbytes-9, SEEK_CUR) < 0)
                        DIE("can't skip %d bytes\n", hdrbytes-9);
 
            for (;;) {
                        unsigned short hdr;
                        if (fread(&hdr, 1, 2, fi) != 2)
                                    DIE("can't read tag hdr\n");
 
                        if (hdr == 0) break;
 
                        int taglen  = hdr & 0x3f;
                        int tagtype = hdr >> 6;
                       
                        bool longtag = taglen == 0x3f;
                        if (longtag) {
                                    if (fread(&taglen, 1, 4, fi) != 4)
                                                DIE("can't read tag len\n");
                        }
 
                        LOG("tag type=0x%02x len=0x%x %s\n", tagtype, taglen, longtag ? "long" : "short");
 
                        byte *buffer = new byte[taglen];
                        if (fread(buffer, 1, taglen, fi) != taglen)
                                    DIE("can't read tag data\n");
 
                        if (tagtype == 0x57) handle_DefineBinary(fi, fo, taglen, buffer);
 
                        delete buffer;
            }
 
            fclose(fi);
            fclose(fo);
 
            return 0;
}

测试的样本由MD5: 2b98d285c8b581855d59ac368956ee78 解压之后的样本。

SecureSwf

Secureswf加密软件,号称break掉所有的flash反编译软件,支持对资源加密、 支持对as code级别做混淆,通过添加各种jump 、反复跳转指令、垃圾指令填充 阻止反编译软件反编译 增加分析人员分析出具体的actionscript原理难度。

之前拿到CVE-2015-3105 样本就是用secure swf混淆过的,刚好可以分析下

MD5: 58d1022923950ad1452c72f46b1ee3d0。

DUS function

以这个dus函数为例做反混淆:

对应的abc code:

code
getlocal_0
pushscope
pushbyte 0
newfunction 30
pop
jump ofs0017
convert_i
declocal 4
urshift
rshift
declocal_i 2
declocal 2
astypelate
newactivation
increment
ofs0017:getlocal 4
iffalse ofs0025
decrement_i
increment_i
increment_i
increment_i
pushbyte 7
multiply_i
decrement_i
ofs0025:setlocal_3
getlocal 5
iftrue ofs0065
getlocal_1
getlocal 5
iftrue ofs00ac
pushbyte 4
getlocal 5
iffalse ofs005a
increment_i
pushbyte 52
subtract_i
pushbyte 114
add_i
pushbyte 49
jump ofs0055
nextvalue
setlocal_2
setlocal_3
kill 3
declocal 4
setlocal 4
declocal 4
getlocal_3
istypelate
ofs0055:add_i
decrement_i
pushbyte 15
subtract_i
ofs005a:modulo
getlocal 4
iftrue ofs00ab
iffalse ofs0065
ofs0065:getlocal_1
getlocal 4
iftrue ofs00ac
getlex Qname(PrivateNamespace("dphgjxukp"),"var_5")
pushbyte 8
getlocal 4
iffalse ofs0092
pushbyte 39
multiply_i
jump ofs008b
inclocal 2
inclocal_i 2
declocal 3
getlocal_3
declocal_i 2
convert_i
multiply_i
inclocal_i 4
increment_i
ofs008b:negate_i
negate_i
pushbyte 115
subtract_i
increment_i
decrement_i
ofs0092:add
subtract
getlocal 5
not
iffalse ofs00ab
pushbyte 4
getlocal 4
iffalse ofs00aa
increment_i
pushbyte 35
multiply_i
pushbyte 29
subtract_i
ofs00aa:divide
ofs00ab:convert_u
ofs00ac:setlocal_3
getlocal 4
iftrue ofs00b9
getlex Qname(PrivateNamespace("dphgjxukp"),"var_1")
getlocal_3
getlocal_2
setproperty MultinameL([PrivateNamespace("dphgjxukp"),ProtectedNamespace("dphgjxukp"),StaticProtectedNs("dphgjxukp"),StaticProtectedNs("flash.display:Sprite"),StaticProtectedNs("flash.display:DisplayObjectContainer"),StaticProtectedNs("flash.display:InteractiveObject"),StaticProtectedNs("flash.display:DisplayObject"),StaticProtectedNs("flash.events:EventDispatcher"),StaticProtectedNs("Object"),PackageNamespace("flash.display"),PackageNamespace("flash.text"),PackageNamespace("flash.utils"),PackageNamespace("flash.net"),PackageNamespace("flash.system"),PackageNamespace(""),PackageInternalNs(""),PrivateNamespace("FilePrivateNS:dphgjxukp"),Namespace("http://adobe.com/AS3/2006/builtin")])
ofs00b9:returnvoid
returnvoid

Type1 jump

getlocal_0
pushscope
pushbyte 0
newfunction 30
pop
jump ofs0017
convert_i
declocal 4
urshift
rshift
declocal_i 2
declocal 2
astypelate
newactivation
increment
ofs0017:getlocal 4

jump之间都是垃圾指令 可以直接改成

getlocal_0
pushscope
pushbyte 0
newfunction 30
pop
getlocal 4

把这段abccode中所有jump之间的直接去掉。

Type2 getlocal n

混淆指令里面充斥着getlocal n指令 获取寄存器的value 并PUSH STACK,紧接着跟着判断,如:

getlocal 4                               // reg4.value push stack 
iffalse ofs0013                       // pop reg4.value judge this value if is false
 
pushbyte 0
newfunction 30
pop
getlocal 4
iffalse ofs0013
increment_i
increment_i
pushbyte 7
multiply_i
decrement_i
ofs0013:setlocal_3

local4 初始化值应该为0 ,则可以直接简化成

pushbyte 0
newfunction 30
pop
setlocal_3

后面以此类似:

getlocal 5
iftrue ofs0053

local5 为0,则不会跳转,直接简化这两条指令。

所以没有经过setlocal n的n对应的getlocal n获取的值应该都是0,带着这样的设定来精简指令就很容易了。

getlocal 13
not
iffalse ofs00d9 //条件不成立  直接去掉这样的三条指令
 
getlocal 13
iftrue ofs00ed //条件不成立 直接去掉这样的2条指令
 
getlocal 12
iffalse ofs0159//条件成立 直接去掉当前2条指令到ofs0159 直接的所有指令(中间代码没有其他地方跳转过来)

Type3 garbage ins

getlocal_1
pushbyte 4
modulo
iffalse ofs0053
ofs0053:
 
local1 为0,modulo之后 0/4 为0 ,push stack,iffalse pop stack,条件成立,无意义片段。
 
还有一些:
decrement_i
increment_i

decrypt dus function

Rxgpittdkc function

在以这个函数为例,按照上面的步骤,先去除jump 垃圾指令,在去除getloca n之类的垃圾指令:

Dphgjxukp function

Type4 kill ins

getlocal_1 // reg1.value push stack
getlocal_0 // reg0.value push stack
getlocal_2 // reg2.value push stack
kill 1     //kill reg1.value
kill 0     //kill reg0.value
kill 2     //kill reg2.value
setlocal_2 //pop stack,set value to reg2.value
setlocal_0 //pop stack,set value to reg0.value
setlocal_1 //pop stack,set value to reg1.value

这样的指令集也是垃圾指令。

Type5 as function flow change

Secure Swf会对简单的as 函数调用从abc 层面流程进行混乱。比如这个dphgjxukp 函数 还原之后真正的代码如下:

niraodwx();

init();

return;

解混淆之后:

可以看到jpexs对这样的反编译是混乱的,可以把相应的跳转换成jump。比如getlocal_2 iffalse 换成jump ofs0044 ,以此类似,最终得到的反编译结果。

可以看到这个swf混淆的还是很容易解密出来的,更多的人工体力活可以通过编写自动化的脚本来实现。(有钱的主可以购买avs actionscript view的149USD的插件 直接反编译secureswf)。

*作者:云柠(Joy) & 入侵(Instruder)@阿里基础安全威胁情报中心,转载须注明来自FreeBuf黑客与极客(FreeBuf.COM)

知识来源: www.freebuf.com/articles/system/71573.html

阅读:116968 | 评论:0 | 标签:系统安全

想收藏或者和大家分享这篇好文章→复制链接地址

“Swf Decrypt详解”共有0条留言

发表评论

姓名:

邮箱:

网址:

验证码:

公告

关注公众号hackdig,学习最新黑客技术

推广

工具

标签云