【ZCTF】easy reverse 详解

0x01  前言
    团队逆向牛的解题思路，分享出来~

0x02  内容

0. 样本

bbcdd1f7-9983-4bf4-9fde-7f77a6b947b4.dll

1. 静态分析

使用IDAPro逆向分析样本，样本较小，得到方法列表：

调用关系：

PS: 开始受调用关系误导，分析DLL入口函数调用的几个方法，浪费了时间。

查看内部字符串：

根据yes!定位到方法 get_string

get_string: 调用关系图，有解密过程调用。

使用IDAPro F5功能，生成伪码：

大致过程：

1） 获取unk_6E282000处存储的0x19长字节流

2） 用户输入字符串

3） 使用encrypt_str加密用户输入字符串

4） 加密结果与1）处0x19字节相同，则输入的串为可能的Flag。

encrypt_str伪码：

大致过程：

1） v4基本上为固定值0,原因自己看

2） 输入串长度大于2, 并且只有偶数个字节参与运算， v7为终止哨兵，其值为 a1+2*result,  a1为串首地址，result为串长度的1/2取整。

3） v6从首地址开始，每循环一次，跳2个字节。

encrypt伪码：

        大致过程：

1） 伪码中参数列表，重点看a3参数，从encrypt_str调用处可看出，a3为指向用户输入串中的某个位置，调用一次，前进2位

2） 重点看：

此处取了 *a3 和 *(a3 + 1)的值

此处回写了 *a3和 *(a3 + 1)的值

这块是暴力破解的关键。

        PS： 可以看出，加密过程是通过一系列复杂的运算来实现，一般算法很难从结果逆推出原始串，先从暴力破解入手。

2. 动态分析

样本为DLL，导出方法get_string，需要编写Load程序。

为简化调试过程，Load程序模拟get_string流程，不需scanf控制台输入，主要代码如下：

typedef int(*encrypt_str)(uint8_t*, uint32_t, int*);
auto h = LoadLibrary("bbcdd1f7-9983-4bf4-9fde-7f77a6b947b4.dll");
encrypt_str f = (encrypt_str)((uint8_t*)h + 0x67C + 0xC00);
        int v1 = 0xEFBEADDE;
        char testStr[] = "0123456789abcdefgh";
        f((uint8_t *)testStr, strlen(testStr)+, &v1);

注意：v1的值问题，IDA翻译的伪码未识别出v1的类型，从汇编可以看出，v1是4字节Int，0xEFBEADDE对应伪码中 -34.-83,-66.-17

OD调试分析步骤：

1） 使用OD启动编译完的程序

2） bp encrypt_str 下断点

OD断在

查看寄存器信息：

可知 0073FDD0处存储待加密的字符串，OD数据跟随：

单步步过一次encrypt调用后，数据区：

前两个字节数据变化，基本肯定，加密方法每次处理2字节数据，且加密后数据长度不发生变化。

PS：上述过程原理上只能得出每次只生成两字节加密数据，不能证明加密过程也只有2字节参与，证明方法：可以在数据区按字节下内存读断点，看在encrypt过程中，是否只命中两个字节的读断点。

3. 破解方法

1） 取到dll中加密后的串，即get_string中unk_6E282000处0x19 Bytes数据。有效数据长度24。

2） 每两字节一组，穷举0x0-0xFF，共256*256种可能，调用encrypt,结果与unk_6E282000对应位置数据比较，一致时找到2Bytes。

3） 重复过程2) 12次。

4） 由于算法中，每两字节一组独立运行，暴力枚举量从： 256^24 缩小到 256^2*12 = 786432，运算时间10秒以内。

核心代码如下：

uint8_t str[] = {  };[/align]        for (int n = ; n < ; n+=)
      {
              for (int i = ; i <= 0xFF; i++)
                      for (int j = ; j <= 0xFF; j++)
                      {
                              uint8_t *data = new uint8_t[];
                              memcpy(data, str, );
                              *(data + n) = (uint8_t)i;
                              *(data + n + ) = (uint8_t)j;
                              f(data, , &v1);
                              if (data[n] == pstr[n] && data[n+] == pstr[n+]) {
                                      str[n] = i;
                                      str[n + ] = j;
                                      break;
                              }
                      }
      }
      printf("%s\n", str);
      f(str, , &v1);
      if (memcmp(str, pstr, ) == )
      {
              printf("It's OK!\n");
      }

  结果：

0x01  前言
    团队逆向牛的解题思路，分享出来~

0x02  内容

0. 样本

bbcdd1f7-9983-4bf4-9fde-7f77a6b947b4.dll

1. 静态分析

使用IDAPro逆向分析样本，样本较小，得到方法列表：

调用关系：

PS: 开始受调用关系误导，分析DLL入口函数调用的几个方法，浪费了时间。

查看内部字符串：

根据yes!定位到方法 get_string

get_string: 调用关系图，有解密过程调用。

使用IDAPro F5功能，生成伪码：

大致过程：

1） 获取unk_6E282000处存储的0x19长字节流

2） 用户输入字符串

3） 使用encrypt_str加密用户输入字符串

4） 加密结果与1）处0x19字节相同，则输入的串为可能的Flag。

encrypt_str伪码：

大致过程：

1） v4基本上为固定值0,原因自己看

2） 输入串长度大于2, 并且只有偶数个字节参与运算， v7为终止哨兵，其值为 a1+2*result,  a1为串首地址，result为串长度的1/2取整。

3） v6从首地址开始，每循环一次，跳2个字节。

encrypt伪码：

        大致过程：

1） 伪码中参数列表，重点看a3参数，从encrypt_str调用处可看出，a3为指向用户输入串中的某个位置，调用一次，前进2位

2） 重点看：

此处取了 *a3 和 *(a3 + 1)的值

此处回写了 *a3和 *(a3 + 1)的值

这块是暴力破解的关键。

        PS： 可以看出，加密过程是通过一系列复杂的运算来实现，一般算法很难从结果逆推出原始串，先从暴力破解入手。

2. 动态分析

样本为DLL，导出方法get_string，需要编写Load程序。

为简化调试过程，Load程序模拟get_string流程，不需scanf控制台输入，主要代码如下：

typedef int(*encrypt_str)(uint8_t*, uint32_t, int*);
auto h = LoadLibrary("bbcdd1f7-9983-4bf4-9fde-7f77a6b947b4.dll");
encrypt_str f = (encrypt_str)((uint8_t*)h + 0x67C + 0xC00);
        int v1 = 0xEFBEADDE;
        char testStr[] = "0123456789abcdefgh";
        f((uint8_t *)testStr, strlen(testStr)+, &v1);

注意：v1的值问题，IDA翻译的伪码未识别出v1的类型，从汇编可以看出，v1是4字节Int，0xEFBEADDE对应伪码中 -34.-83,-66.-17

OD调试分析步骤：

1） 使用OD启动编译完的程序

2） bp encrypt_str 下断点

OD断在

查看寄存器信息：

可知 0073FDD0处存储待加密的字符串，OD数据跟随：

单步步过一次encrypt调用后，数据区：

前两个字节数据变化，基本肯定，加密方法每次处理2字节数据，且加密后数据长度不发生变化。

PS：上述过程原理上只能得出每次只生成两字节加密数据，不能证明加密过程也只有2字节参与，证明方法：可以在数据区按字节下内存读断点，看在encrypt过程中，是否只命中两个字节的读断点。

3. 破解方法

1） 取到dll中加密后的串，即get_string中unk_6E282000处0x19 Bytes数据。有效数据长度24。

2） 每两字节一组，穷举0x0-0xFF，共256*256种可能，调用encrypt,结果与unk_6E282000对应位置数据比较，一致时找到2Bytes。

3） 重复过程2) 12次。

4） 由于算法中，每两字节一组独立运行，暴力枚举量从： 256^24 缩小到 256^2*12 = 786432，运算时间10秒以内。

核心代码如下：

uint8_t str[] = {  };[/align]        for (int n = ; n < ; n+=)
      {
              for (int i = ; i <= 0xFF; i++)
                      for (int j = ; j <= 0xFF; j++)
                      {
                              uint8_t *data = new uint8_t[];
                              memcpy(data, str, );
                              *(data + n) = (uint8_t)i;
                              *(data + n + ) = (uint8_t)j;
                              f(data, , &v1);
                              if (data[n] == pstr[n] && data[n+] == pstr[n+]) {
                                      str[n] = i;
                                      str[n + ] = j;
                                      break;
                              }
                      }
      }
      printf("%s\n", str);
      f(str, , &v1);
      if (memcmp(str, pstr, ) == )
      {
              printf("It's OK!\n");
      }

结果：