一个GIF表情搞死微信！最强技术分析在此

bug 微信| 2017-05-31

5月17日左右，微信群中出现了可使iOS版微信闪退的GIF表情。

5月26日傍晚，360安全研究员宋申雷对表示，微信知道这个漏洞两周了，但是拦截策略依然不行，第一个crash出现时就对样本做了hash 拦截，这都两周了，改一个字节的版本都有多少个了。

此外，他还指出，现在不在原图改字节了，直接把有漏洞的最后一帧构造到任意的GIF中。

为了更好地促进读者了解其中的机制，360NirvanTeam对于此事件进行了具体的技术分析。

一、背景情况

5月17日起，在各个微信群中流传着一个天线宝宝的GIF表情。在iOS版的微信上，只要打开了包含这个GIF表情的聊天窗口，就会造成微信闪退。

在进行具体分析之前，对崩溃原因进行了猜测：（1）iOS系统自带GIF解析功能存在问题；（2）微信自己实现GIF解析的功能，由于对输入数据的校验不严格，导致异常。

经过测试，发现iOS版QQ不受影响，因此可以排除iOS的GIF解析问题。

二、原因分析

1、样本精简

初始的GIF样本有1MB之多，不利于定位引起问题的具体数据，因此我们需要对样本进行精简。通过010 Editor打开原始样本GIF，利用GIF模板解析，发生解析异常，这就表示样本GIF的格式存在问题。

从模板解析的情况显示，在38帧正常的图片数据后，出现了异常的数据。如图所示，因此我们将正常数据部分移除，仅保留异常数据，进行下一步精简。

图0：一个GIF表情搞死微信！最强技术分析在此

可以看到，剩余的异常数据的部分有10多万个，通过二分法的方式进行测试和排除。具体就是，删除一半后，测试另外一半是否可以导致崩溃。

如果崩溃了，说明引起异常的数据在保留的一半中，反之则说明在删除的部分中。

图1：一个GIF表情搞死微信！最强技术分析在此

经过不断的排除后，发现异常的数据就在下图的紫色部分中。只要带有GIF的图像数据部分带有这些异常数据，就会导致iOS微信闪退。

图2：一个GIF表情搞死微信！最强技术分析在此

2、调试分析

经过样本精简，我们已经发现了引起异常的数据位置。那么，现在就需要结合实际的调试，来确定实际引起异常的数据。

以iOS微信6.5.7版为例，崩溃发生时的调用栈如下，崩溃发生于微信内部，说明是微信自身的GIF解析功能存在问题。

图3：一个GIF表情搞死微信！最强技术分析在此

经过对相关函数的逆向分析，最终确定了引起异常的数据。首先来观察sub_100B6CBF0这个函数，对于GIF中的数据进行循环查找，如果存在0x21和0xF9，那么当前数据就表示是一个GraphicControlExtension结构，并接着对GraphicControlExtension数据进行解析。

图4：一个GIF表情搞死微信！最强技术分析在此