BUUCTF-RE-SimpleRev笔记与思考

First Post:

Last Update:

封面ID: 89209550

背景:

    初学逆向,遇到的最大问题是“在知道原算法的情况下要如何得出逆算法”;一般的加减乘除确实只需要做相反操作即可,但对于异或和取余等运算则有些麻烦,于是试着写一些可能的解决方案。似乎是数论的内容,但题主目前还未学到那种程度,诸多密码学内容尚且不明,所以以后再作更新。

    题目本身是个简单的入门题,在逻辑上并没有难点。

    (如下是IDA反编译Decry函数的伪代码,可能会因版本不同而略有差错)

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
unsigned __int64 Decry()
{
char v1; // [rsp+Fh] [rbp-51h]
int v2; // [rsp+10h] [rbp-50h]
int v3; // [rsp+14h] [rbp-4Ch]
int i; // [rsp+18h] [rbp-48h]
int v5; // [rsp+1Ch] [rbp-44h]
char src[8]; // [rsp+20h] [rbp-40h] BYREF
__int64 v7; // [rsp+28h] [rbp-38h]
int v8; // [rsp+30h] [rbp-30h]
__int64 v9[2]; // [rsp+40h] [rbp-20h] BYREF
int v10; // [rsp+50h] [rbp-10h]
unsigned __int64 v11; // [rsp+58h] [rbp-8h]

v11 = __readfsqword(0x28u);
*(_QWORD *)src = 0x534C43444ELL;
v7 = 0LL;
v8 = 0;
v9[0] = 0x776F646168LL;
v9[1] = 0LL;
v10 = 0;
text = (char *)join(key3, v9);
strcpy(key, key1);
strcat(key, src);
v2 = 0;
v3 = 0;
getchar();
v5 = strlen(key);
for ( i = 0; i < v5; ++i )
{
if ( key[v3 % v5] > 64 && key[v3 % v5] <= 90 )
key[i] = key[v3 % v5] + 32;
++v3;
}
printf("Please input your flag:");
while ( 1 )
{
v1 = getchar();
if ( v1 == 10 )
break;
if ( v1 == 32 )
{
++v2;
}
else
{
if ( v1 <= 96 v1 > 122 )
{
if ( v1 > 64 && v1 <= 90 )
{
str2[v2] = (v1 - 39 - key[v3 % v5] + 97) % 26 + 97;
++v3;
}
}
else
{
str2[v2] = (v1 - 39 - key[v3 % v5] + 97) % 26 + 97;
++v3;
}
if ( !(v3 % v5) )
putchar(32);
++v2;
}
}
if ( !strcmp(text, str2) )
puts("Congratulation!\n");
else
puts("Try again!\n");
return __readfsqword(0x28u) ^ v11;
}

主要逻辑:

    顺逻辑:①获取text字数数组;②获取key数组;③将key数组中大写换为小写;④获取输入,通过key数组进行运算得到str2;⑤将text与str2比较,得出对错。

    逆逻辑:①将text与str2进行比较;②获取str2(可知str2为输入,text为密文);③置换key数组得到新key;④得到原key;⑤得到text

1
char text[] = "killshadow";

1
char key[] = "adsfkndcls";

    如上可以较为轻松的得出最终的key和text数组,那么关键只剩下如何通过逆运算得出明文了。

如下代码为主要逻辑:

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
while ( 1 )
{
v1 = getchar();
if ( v1 == 10 )
break;
if ( v1 == 32 )
{
++v2;
}
else
{
if ( v1 <= 96 v1 > 122 )
{
if ( v1 > 64 && v1 <= 90 )
{
str2[v2] = (v1 - 39 - key[v3 % v5] + 97) % 26 + 97;
++v3;
}
}
else
{
str2[v2] = (v1 - 39 - key[v3 % v5] + 97) % 26 + 97;
++v3;
}
if ( !(v3 % v5) )
putchar(32);
++v2;
}
}

运算规则:

    输入一个字符 ’x‘,进行如下运算:(x-39-key[v3%v5]+97)%26+97

   关键问题便是应该如何处理取余运算的逆运算以得到x。

逆算法:

1
2
3
4
5
6
7
8
9
10
11
12
for (int i = 0;i<10; i++)
{
for (int j=0;j<5;j++)
{
str[i] = (text[i] - 97)+j*26+39+key[v3%v5]-97;
if (str[i] >= 65 && str[i] <= 90)
{
v3++;
break;
}
}
}

    翻阅了其他师傅们的WP,并没有特地说明为什么输入值都是字符,暂且当作是一种根据结果(密文只有字符)而来的猜测。

    以下为一般的取模逆算法:

A=(B-C)%D

B-C=A+D*x (x=1,2,3....)

B=A+C+D*x

    上述的B即为本体求解的flag。

\bg_white A=text[i]-97

C=39+key[v3%v5]-97

B=A+C+26*j

    最终做法为:遍历 i ,当结果符合“字符要求”时则保存该字符。(但我给出的脚本并没有包括小写范围,实际上并不影响,如果答案不符合只需要再加额外的判断条件即可)

    本题还有一个比较特别的地方,在拼接text的时候,如果只通过手动运算,有可能会出错。

    这些字符明显和结果是逆序的,由于我是直接抄出了join函数的实现所以做题的时候并没有遇到这个问题,但事后才发现还有还存在这种问题。

    起因来自Intel架构中的小端序存储方式,具体内容不在此赘述,从结论上来说便是所看到的与实际结果将成逆序。