首页
社区
课程
招聘
问答 CTF 排行榜 知识库 工具下载 峰会 看雪商城 证书查询
  1. 社区
  2. CTF对抗
    3. 发新帖
[原创]DASCTF2024-金秋十月-REEZ-WP-特详细
发表于: 2024-10-20 13:44 4475

[原创]DASCTF2024-金秋十月-REEZ-WP-特详细

嘎嘎真的很棒 活跃值
2024-10-20 13:44
4475

DASCTF2024 金秋十月-REEZ-WP

EZRE

知识点

魔改RC4

魔改XTEA

分析思路

DIE分析程序发现是PE32位程序且加了：Themida/Winlicense(3.XX)壳。

这个壳的资料较少，但好在在GitHub有相应的脱壳工具程序是什么版本就下载相应的版本就好了，脱壳的话直接把要脱壳的程序拉到脱壳工具等待一会就好了。

IDA打开分析程序

IDA分析完毕之后停在了这里，没有停在流程图是因为汇编中有花指令，IDA无法正确分析程序的执行流程。

这个是典型的JZ/JNZ花指令，去除也不难，在JNZ处按U识别为数据

把这个0x75给NOP掉后按C识别为代码，再在main函数的开始PUSH的地方按一下P识别为函数就好了。

F5反汇编分析伪代码

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
int __cdecl main(int argc, const char **argv, const char **envp)
{
  char v4[44]; // [esp+14h] [ebp-90h]
  int i; // [esp+40h] [ebp-64h]
  int j; // [esp+44h] [ebp-60h]
  char v7[44]; // [esp+48h] [ebp-5Ch] BYREF
  char v8[44]; // [esp+74h] [ebp-30h] BYREF
 
  v4[0] = 80;
  v4[1] = -44;
  v4[2] = -56;
  v4[3] = -60;
  v4[4] = -113;
  v4[5] = -124;
  v4[6] = 64;
  v4[7] = -21;
  v4[8] = 50;
  v4[9] = -127;
  v4[10] = -113;
  v4[11] = -123;
  v4[12] = 108;
  v4[13] = -78;
  v4[14] = 43;
  v4[15] = 6;
  v4[16] = -65;
  v4[17] = 5;
  v4[18] = 53;
  v4[19] = 93;
  v4[20] = 46;
  v4[21] = -29;
  v4[22] = 125;
  v4[23] = 70;
  v4[24] = -115;
  v4[25] = 53;
  v4[26] = 1;
  v4[27] = 112;
  v4[28] = 58;
  v4[29] = 0x80;
  v4[30] = -127;
  v4[31] = -59;
  v4[32] = -26;
  v4[33] = 113;
  v4[34] = -45;
  v4[35] = -42;
  v4[36] = 80;
  v4[37] = 105;
  v4[38] = 111;
  v4[39] = -30;
  v4[40] = 110;
  v4[41] = 120;
  v4[42] = 20;
  v4[43] = -40;
  sub_121020(Format, (char)aPleaseEnterYou);
  sub_121050("%s", v7);
  ((void (__cdecl *)(char *, char *))loc_121290)(v7, v8);
  for ( i = 0; i <= 36; ++i )
    ((void (__cdecl *)(char *))loc_1213C0)(&v8[i]);
  for ( j = 0; j < 44; ++j )
  {
    if ( v4[j] != v8[j] )
    {
      sub_121020(Format, (char)aWrong);
      break;
    }
  }
  if ( j == 44 )
    sub_121020(Format, (char)aCongratulation);
  return 0;
}

逻辑不是很难，在第一个IF判断中就拿V4和V8进行比较，V4很明显就是密文了。接下来就是分析V8是如何来的。

V7接受用户输入字符串，调用loc_121290函数传入V7和V8，在这之前V8并没有被赋值，显然是这个函数在对V7进行操作后存储到了V8。

分析这个函数

还是经典的JZ/JNZ花指令，与上一个去除方式一样

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
char __cdecl sub_121290(char *a1, int a2)
{
  char result; // al
  unsigned int i; // [esp+18h] [ebp-10h]
  char *v4; // [esp+1Ch] [ebp-Ch]
  unsigned __int8 v6; // [esp+26h] [ebp-2h]
  unsigned __int8 v7; // [esp+27h] [ebp-1h]
 
  v7 = 0;
  v6 = 0;
  ((void (*)(void))loc_1210C0)();
  v4 = a1;
  do
    result = *v4;
  while ( *v4++ );
  for ( i = 0; i < v4 - (a1 + 1); ++i )
  {
    v6 += byte_1243B0[++v7];
    ((void (__cdecl *)(char *, char *))loc_121080)(&byte_1243B0[v7], &byte_1243B0[v6]);
    *(_BYTE *)(i + a2) = (byte_1243B0[(unsigned __int8)(byte_1243B0[v6] + byte_1243B0[v7])] ^ 0x33) + a1[i];
    result = i + 1;
  }
  return result;
}

分析loc_1210C0函数，这个函数同样有花指令，去除方式都一样。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
void *sub_1210C0()
{
  void *result; // eax
  int v1; // [esp+18h] [ebp-128h]
  int j; // [esp+1Ch] [ebp-124h]
  char *v3; // [esp+20h] [ebp-120h]
  unsigned int i; // [esp+24h] [ebp-11Ch]
  int k; // [esp+28h] [ebp-118h]
  char v6[256]; // [esp+30h] [ebp-110h] BYREF
  char v7[12]; // [esp+130h] [ebp-10h] BYREF
 
  strcpy(v7, "th0s_i0_ke9");
  for ( i = 0; i < 0x100; ++i )
    byte_1243B0[i] = i;
  v3 = &v7[strlen(v7) + 1];
  result = memset(v6, 0, sizeof(v6));
  for ( j = 0; j < 256; ++j )
  {
    result = (void *)j;
    v6[j] = v7[j % (unsigned int)(v3 - &v7[1])];
  }
  v1 = 0;
  for ( k = 0; k < 256; ++k )
  {
    v1 = ((unsigned __int8)v6[k] + v1 + (unsigned __int8)byte_1243B0[k]) % 256;
    result = (void *)((int (__cdecl *)(char *, char *))loc_121080)(&byte_1243B0[k], &byte_1243B0[v1]);
  }
  return result;
}

这个是RC4的密钥流，使用特定的密钥生成一个大小为256的盒子，之后在用这个盒子对数据进行加密。

回去接着分析sub_121290函数

首先是循环取到V4的每个字符，V4就是a1就是输入的字符串

分析一下loc_121080函数

1
2
3
4
5
6
7
8
9
10
11
int __cdecl sub_121080(unsigned __int8 *a1, unsigned __int8 *a2)
{
  int result; // eax
  unsigned __int8 v3; // [esp+Fh] [ebp-1h]
 
  v3 = *a1;
  *a1 = *a2;
  result = v3;
  *a2 = v3;
  return result;
}

就是把两个值交换一下。

主要加密逻辑在这个循环中，该循环执行了44次。与标准RC4不同，这里修改加密逻辑了。

1
2
3
4
5
6
7
for ( i = 0; i < v4 - (a1 + 1); ++i )
 {
   v6 += byte_1243B0[++v7];
   ((void (__cdecl *)(char *, char *))loc_121080)(&byte_1243B0[v7], &byte_1243B0[v6]);
   *(_BYTE *)(i + a2) = (byte_1243B0[(unsigned __int8)(byte_1243B0[v6] + byte_1243B0[v7])] ^ 0x33) + a1[i];
   result = i + 1;
 }

byte_1243B0就是RC4中的S盒子，根据V7的值在S中取到一个元素赋值给V6，在根据V7和V6的值在S盒中把这两个地方的值互相交换一下。最后就是该两个地方的值相加后作为下标在去S盒中取值后异或0x33后再加上输入字符串当前字符。

这样加密后的结果就存放到了**a2[i]**中。

这么说可能有点绕，逻辑其实很简单画个图就明白了：

总结起来就是：(S[(unsigned char)(S[v6] + S[v7])] ^ 0x33) + a1[i] = a2[i]

那么？就是我们的密文了，**a1[i]**就是我们要找的明文，通过密文求明文，所以逆运算逻辑就是

a2[i] = a1[i] - (S[(unsigned char)(S[v6] + S[v7])] ^ 0x33);

sub_121290函数就分析完成了，逆运算也有了。接着往下分析

1
2
for ( i = 0; i <= 36; ++i )
    ((void (__cdecl *)(char *))loc_1213C0)(&v8[i]);

可以看到V8传如loc_1213C0函数进行了操作，分析这个函数

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
int *__cdecl sub_1213C0(int *a1)
{
  int *result; // eax
  int v2[4]; // [esp+Ch] [ebp-24h]
  int v3; // [esp+1Ch] [ebp-14h]
  int i; // [esp+20h] [ebp-10h]
  unsigned int v5; // [esp+24h] [ebp-Ch]
  unsigned int v6; // [esp+28h] [ebp-8h]
  unsigned int v7; // [esp+2Ch] [ebp-4h]
 
  v2[0] = 1855465527;
  v2[1] = 1144201745;
  v2[2] = 287454020;
  v2[3] = 925407342;
  v6 = *a1;
  v5 = a1[1];
  v7 = 1719109785;
  v3 = -1640531528;
  for ( i = 0; i <= 32; ++i )
  {
    v6 += (v2[v7 & 3] + v7) ^ (v5 + ((v5 >> 6) ^ (32 * v5)));
    v7 += v3;
    v5 += (v2[(v7 >> 11) & 3] + v7) ^ (v6 + ((v6 >> 5) ^ (16 * v6)));
  }
  *a1 = v6;
  result = a1;
  a1[1] = v5;
  return result;
}

一个魔改的XTEA加密，修改了加密轮次为33轮，v3 = -1640531528等同于v3 = 0x9E3779B8，鼠标点到那个数按H就好了。

DELTA=0x9E3779B8，SUM=1719109785；逆运算无非就是把循环体中的加密操作倒以下就好了，修改一下SUM的值因为循环了33次

SUM = 1719109785 + (0x9E3779B8 * 33)

外层的for循环调用了这个XTEA函数37次，那么我们解密也要调用37次而且还要倒着来。

结合以上分析就可以写脚本进行解密了

解密脚本
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <windows.h>
#include <stdint.h>
 
unsigned char S[256];
 
void swap(unsigned char* a, unsigned char* b) {
    unsigned char temp = *a;
    *a = *b;
    *b = temp;
}
 
void rc4_key_setup(unsigned char* key, int key_length, unsigned char S[256]) {
    unsigned char T[256];
    int i, j;
 
    for (i = 0; i < 256; i++) {
        S[i] = i;
        T[i] = key[i % key_length];
    }
 
    j = 0;
    for (i = 0; i < 256; i++) {
        j = (j + S[i] + T[i]) % 256;
        swap(&S[i], &S[j]);
    }
}
 
char __cdecl sub_121290(char* a1, char* a2)
{
    char result; // al
    unsigned int i; // [esp+18h] [ebp-10h]
    char* v4; // [esp+1Ch] [ebp-Ch]
    unsigned __int8 v6; // [esp+26h] [ebp-2h]
    unsigned __int8 v7; // [esp+27h] [ebp-1h]
 
    v7 = 0;
    v6 = 0;
    int k = 0;
    for (i = 0; i < 44; ++i)
    {
        v6 += S[++v7];
        swap(&S[v7], &S[v6]);
        // 解密逻辑
        a2[i] = a1[i] - (S[(unsigned char)(S[v6] + S[v7])] ^ 0x33);
        // 加密逻辑
        //a2[i] = (S[(unsigned char)(S[v6] + S[v7])] ^ 0x33) + a1[i];
    }
    return 0;
}
 
char* __cdecl sub_1213C0(uint32_t* a1)
{
    char* result; // eax
    int v2[4]; // [esp+Ch] [ebp-24h]
    int v3; // [esp+1Ch] [ebp-14h]
    int i; // [esp+20h] [ebp-10h]
    uint32_t v5; // [esp+24h] [ebp-Ch]
    uint32_t v6; // [esp+28h] [ebp-8h]
    unsigned int v7; // [esp+2Ch] [ebp-4h]
 
    v2[0] = 1855465527;
    v2[1] = 1144201745;
    v2[2] = 287454020;
    v2[3] = 925407342;
    v6 = a1[0];
    v5 = a1[1];
    // 循环了33次,这里要乘以33.
    v7 = 1719109785 + (0x9E3779B8 * 33);
    v3 = 0x9E3779B8;
    for (i = 0; i <= 32; ++i)
    {
        v5 -= (v2[(v7 >> 11) & 3] + v7) ^ (v6 + ((v6 >> 5) ^ (16 * v6)));
        v7 -= v3;
        v6 -= (v2[v7 & 3] + v7) ^ (v5 + ((v5 >> 6) ^ (32 * v5)));
    }
    a1[0] = v6;
    a1[1] = v5;
    return 0;
}
 
 
int main() {
    unsigned char key[] = "th0s_i0_ke9";
    int key_length = strlen((const char*)key);
 
    // 初始化S盒
    rc4_key_setup(key, key_length, S);
 
    unsigned char encenc[] = { 0x50, 0xD4, 0xC8, 0xC4, 0x8F, 0x84, 0x40, 0xEB, 0x32, 0x81, 0x8F, 0x85, 0x6C, 0xB2, 0x2B, 0x06,
    0xBF, 0x05, 0x35, 0x5D, 0x2E, 0xE3, 0x7D, 0x46, 0x8D, 0x35, 0x01, 0x70, 0x3A, 0x80, 0x81, 0xC5,
    0xE6, 0x71, 0xD3, 0xD6, 0x50, 0x69, 0x6F, 0xE2, 0x6E, 0x78, 0x14, 0xD8, 0x25 };
 
    // XTEA解密
    for (int i = 36; i >= 0; i--)
    {
        sub_1213C0((uint32_t*)&encenc[i]);
    }
 
    // RC4解密
    char encrypted_data[44];
    sub_121290((char*)encenc, encrypted_data);
     
    printf("%s\n", encrypted_data);
    return 0;
}
// DASCTF{Th1l_t8e1a_rc4_l8s_s8o_int9r3es4t1ng}
总结

RC4解密中有一个坑点就是

1
byte_1243B0[(unsigned __int8)(byte_1243B0[v6] + byte_1243B0[v7])]

byte_1243B0[v6] + byte_1243B0[v7]这两个取值后相加有可能结果为负数，因为char类型表示的范围比较小。所以要指定一下数据类型为无符号的，我在做题过程中嫌这个IDA显示数据类型看着乱就让他隐藏了，让我吃了个大亏，调试半天才发现。

分析别人算法，能复制就复制，还要特别注意数据类型，不然出了问题太难搞了。


[招生]科锐逆向工程师培训(2024年11月15日实地，远程教学同时开班, 第51期)

最后于 2024-10-22 09:58 被嘎嘎真的很棒编辑 ，原因： 添加附件
上传的附件：
收藏
免费 ・0
支持
分享
最新回复 (1)
Editor
雪    币： 29182
活跃值： (63621)
能力值： (RANK：135 )
在线值：
发帖
回帖
粉丝
私信
2 楼
将目标程序以附件上传一下，方便其他人学习
2024-10-20 18:07
0
游客
登录 | 注册 方可回帖
回帖 表情 雪币赚取及消费
高级回复
返回
//