社团的CTF逆向题WriteUp

时间:2023-03-08 19:50:53
社团的CTF逆向题WriteUp

最近社团弄了CTF比赛,然后我就帮忙写了逆向的题目,这里写一下WriteUp,题目和源码在附件中给出

一个简单的逆向:one_jmp_to_flag.exe

这题算是签到题,直接OD智能搜索就完事了,flag{Welcome_to_GeekFZCTF}

社团的CTF逆向题WriteUp

一个简单的对比:check.exe

这一道也算是送分题,可以用IDA直接分析可以看出来,这里就是读取输入的字符串,然后逐个进行对比,这里可以直接用IDA转化为char型就可以看出。flag{sAdf_fDfkl_Fdf}

社团的CTF逆向题WriteUp

社团的CTF逆向题WriteUp

猜猜那个是flag:whichisflag.exe

首先加载进IDA,先看一下基本逻辑,输入的flag首先要小于25,然后进行判断进行判断,如果flag[5]=Y,且flag[8] = flag[11],flag[16] = flag[18],上面的都实现了就执行which_is_flag这个函数,我们跟进去看一下。

社团的CTF逆向题WriteUp

可以看到这是通过flag[5]进行switch跳转,然后我们之前有个判断条件flag[5]=Y,所以这里的跳转就是到89处

社团的CTF逆向题WriteUp

社团的CTF逆向题WriteUp

但是我们可以看到,这个flag的长度是大于25的,然后仔细观察一下flag里的内容,可以看出是base64编码过的,我们找个网站进行解码就可以,这里的flag是用python随机出来的,代码也在附件里。flag{YkEj_djkf3_jEj_eUn}

社团的CTF逆向题WriteUp

 简单的反调试:fts.exe

其实这道题目就只是用OD调试时会遇到一点反调试,如果用IDA直接分析逻辑就可以了,这里首先用IDA分析先。

社团的CTF逆向题WriteUp

可以看到一个可疑的循环并printf出来字符 ,我们看到逻辑就是用flag_2这个数组的数据与0x11进行异或,我们手动计算一下得出字符串(这里注意的是0x76707D77是小端序,我们要从77开始异或):flag{

社团的CTF逆向题WriteUp

然后我们可以继续往下面找关键循环,函数CheckDebug、fts_Rdtsc、the_end里都有循环输出,然后都解密出来就是:congratulations_for_you}

社团的CTF逆向题WriteUp

社团的CTF逆向题WriteUp

社团的CTF逆向题WriteUp

社团的CTF逆向题WriteUp

所以flag就是:flag{congratulations_for_you}

然后用OD动态调试一下,一开始就是先进行进程的检索,判断是否存在IDA或者OD,然后我们可以通过je直接跳过进行判断的地方。

社团的CTF逆向题WriteUp

跳过第一个反调试的地方后就得看一下我们的main函数入口在哪里(为什么不先找main函数,因为你不跳过第一个反调试即使找到main函数入口也没用,尝试一下就发现跳过了第一个反调试就很容易去到main函数了),我们这里先智能搜索一下可以看到一些字符串,你可以每个都进去看一下,然后发现main函数就在走过八十一难哪里(用IDA可以直接找到)

社团的CTF逆向题WriteUp

找到main函数后下断点,然后F9跳过去就可以单步跟踪了,我们可以发现会自己打印出了第一个解密循环

社团的CTF逆向题WriteUp

下面继续跟会发现有用到FindWindow函数去查找有没有IDA和OD,然后我们只要不让下面两个je进行跳转就可以,就会再打印出一段flag出来

社团的CTF逆向题WriteUp

社团的CTF逆向题WriteUp

跟进去函数里面,可以发现用了ZwQueryInformationProcess进行检测调试端口的,我们不让它跳转就会打印出字符串来

社团的CTF逆向题WriteUp

社团的CTF逆向题WriteUp

社团的CTF逆向题WriteUp

再进入下一个函数中,在里面可以看到rdtsc命令,这个用于把时间保存的指令,这里是基于时间的反调试,我们可以直接在下面的popad下断点然后F9直接跳过,然后就找到了解密循环。

社团的CTF逆向题WriteUp

社团的CTF逆向题WriteUp

社团的CTF逆向题WriteUp

最后进入函数,我们可以看到有一个get函数并且下面的跳转是关键,可以先随机输入一些东西,然后可以看到下面的跳转跳过了我们的printf函数,所以我们让它不跳转,然后就跑出最后的flag出来。

社团的CTF逆向题WriteUp

社团的CTF逆向题WriteUp

社团的CTF逆向题WriteUp

社团的CTF逆向题WriteUp

 简单的算法:suafa.exe

这是一个算法,然后这里要道个歉是出题不够严谨,在跑flag的时候会出现多解的情况。正向的核心算法是输入的字符串减去key之后对4求余,然后在key1到key4之间选择字符,最后与我们给定的字符进行对比

     char key1[] = "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789+/";
char key2[] = "+/abcdefghijklmnopqrstuvwxyz0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZ";
char key3[] = "abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789+/";
char key4[] = "0123456789+/ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz"; char key[] = "QASWZXDECVFRBNGTHYJUMKIOLP";
int len = strlen(flag);
for(int i=; i<len; i++)
{
if(int(flag[i]) <= && int(flag[i]) >= )
{
if(flag[i]-key[i] > )
{
int the_key = (flag[i]-key[i]) % ;
switch (the_key)
{
case :
flag[i] = key1[flag[i]-key[i]];
continue;
case :
flag[i] = key2[flag[i]-key[i]];
continue;
case :
flag[i] = key3[flag[i]-key[i]];
continue;
case :
flag[i] = key4[flag[i]-key[i]];
continue;
default:
continue;
}
}
else
{
printf("flag is wrong");
ExitProcess();
}
}
}

然后在逆向的时候我们用IDA打开基本都能编译出来,然后有一点小问题就是v5 = v4 - v1[key-flag]这里,反编译后与原来的代码int the_key = (flag[i]-key[i])有点差别,不过如果看汇编的代码可以更好的理解

社团的CTF逆向题WriteUp

其中sub eax, flag就是我们的v4 - v1[key-flag],而v4=flag[i],所以理论上flag = v1[key-flag],而我们汇编中flag的值为byte ptr [ebx+edx],这里的ebx可以从前面查看就是key,而edx就相当于索引。不懂得可以自己仔细看一下。

社团的CTF逆向题WriteUp

然后分析完就可以写个脚本自己跑出来:flag{this_is_a_easy_suanfa}

 #include "stdio.h"
#include "Windows.h" int main()
{
char key1[] = "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789+/";
char key2[] = "+/abcdefghijklmnopqrstuvwxyz0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZ";
char key3[] = "abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789+/";
char key4[] = "0123456789+/ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz"; char key[] = "QASWZXDECVFRBNGTHYJUMKIOLP"; char flag_1[] = "tfoQ5ckkwhX51HYpxAjkMQYTAp5"; int yushu = ; for(int m=; m<=; m++)
{
for(int n=; n<=; n++)
{
yushu = n - int(key[m]);
yushu %= ;
switch (yushu)
{
case :
if(key1[n - int(key[m])] == flag_1[m])
{
printf("%c", n);
}
continue;
case :
if(key2[n - int(key[m])] == flag_1[m])
{
printf("%c", n);
}
continue;
case :
if(key3[n - int(key[m])] == flag_1[m])
{
printf("%c", n);
}
continue;
case :
if(key4[n - int(key[m])] == flag_1[m])
{
printf("%c", n);
}
continue;
default:
continue;
}
}
printf("\n");
}
}

因为存在多解,所以跑出来得结果是这样子的

社团的CTF逆向题WriteUp

附件:题目、题目源码和脚本:https://github.com/QKSword/CTF-GeekFZ