学破解第186天,《攻防世界reverse练习区testre》失败学习
前言:坛友们,年轻就是资本,和我一起逆天改命吧,我的学习过程全部记录及学习资源:(https://www.52pojie.cn/thread-1582287-1-1.html)
**立帖为证!--------记录学习的点点滴滴**
## 0x1 下载和安装kali
1.打开链接:(https://www.kali.org/get-kali/)
2.如果是真机就选择左边的,如果是将kali装在虚拟机中的就选择右边的。
![https://s4.ax1x.com/2022/03/05/bdTRwq.png](https://s4.ax1x.com/2022/03/05/bdTRwq.png)
3.我是装在虚拟机中的,单击过去,选择下载torrent种子,使用迅雷下载,速度非常快。
![https://s4.ax1x.com/2022/03/05/bd7EAP.png](https://s4.ax1x.com/2022/03/05/bd7EAP.png)
4.安装完之后会在虚拟机中打开,会提示“不支持的客户机debain10 64位重装系统”错误,菜单栏点开虚拟机,点设置,点选项,客户机操作系统选择linux即可。
![https://s4.ax1x.com/2022/03/05/bd7c9O.png](https://s4.ax1x.com/2022/03/05/bd7c9O.png)
5.kali的默认用户名和密码是kali和kali,进去后发现是英文界面,输入sudo dpkg-reconfigure locales命令,出现下图所示界面,一直按方向键下到最底部,找到zh_CN.UTF-8,空格键选择,然后TAB键切换到OK按钮上,回车确认即可,等待命令执行完重启虚拟机就会发现界面变成中文了。
![https://s4.ax1x.com/2022/03/05/bdbxhV.png](https://s4.ax1x.com/2022/03/05/bdbxhV.png)
## 0x2 下载目标程序和准备环境
1.下载目标程序:(https://adworld.xctf.org.cn/task/answer?type=reverse&number=4&grade=1&id=5476&page=1)
2.是个压缩包,解压出来是个没有后缀名的文件,使用die工具查壳,可以看到是64位elf类型文件。
![https://s4.ax1x.com/2022/03/05/bdLp5t.png](https://s4.ax1x.com/2022/03/05/bdLp5t.png)
3.将IDA目录dbgsrv目录下的服务端linux_server64上传到kali的主文件夹下来。
![https://s4.ax1x.com/2022/03/05/bdLLiq.png](https://s4.ax1x.com/2022/03/05/bdLLiq.png)
4.点击黑窗口,打开命令行,输入chmod +x linux_server64,给予权限。
![https://s4.ax1x.com/2022/03/05/bdOCw9.png](https://s4.ax1x.com/2022/03/05/bdOCw9.png)
5.接着输入./linux_server64,运行服务端,可以看到服务运行,并且监听23946端口。
```
IDA Linux 64-bit remote debug server(ST) v7.5.26. Hex-Rays (c) 2004-2020
Listening on 0.0.0.0:23946...
```
6.再把目标程序同样上传到kali目录下,然后打开IDA如图所示,在菜单栏点debugger,run,linux程序。
![https://s4.ax1x.com/2022/03/05/bdv2nS.png](https://s4.ax1x.com/2022/03/05/bdv2nS.png)
7.Application,就是程序的名字,Directory就是目标程序在kali中所在的位置(打开终端,输入pwd就能显示当前所在路径),Hostname就是我们kali的ip地址,点OK,成功加载目标程序,说明动态调试环境已经搭建好。
![https://s4.ax1x.com/2022/03/05/bdvqnU.png](https://s4.ax1x.com/2022/03/05/bdvqnU.png)
## 0x3 实战ctf
1.前面查过壳了,这里不在重复了,直接IDA打开程序,找到main函数,F5反编译看伪代码:
```
__int64 __fastcall main(int a1, char **a2, char **a3)
{
void *ptr; //
__int64 v5; // BYREF
char v6; // BYREF
int v7; //
v7 = 0;
v5 = 256LL;
sub_400D00(v6, 17LL, a3);
ptr = malloc(0x100uLL);
sub_400700(ptr, &v5, v6, 16LL);
free(ptr);
return 0LL;
}
```
2.main函数里面有sub\_400D00和sub\_400700函数,前者没有看懂,后者里面出现了关键字,要想成功,那么必须满足if里面的6个比较。
```
if ( !strncmp((const char *)s, "D9", 2uLL)
&& !strncmp((const char *)s + 20, "Mp", 2uLL)
&& !strncmp((const char *)s + 18, "MR", 2uLL)
&& !strncmp((const char *)s + 2, "cS9N", 4uLL)
&& !strncmp((const char *)s + 6, "9iHjM", 5uLL)
&& !strncmp((const char *)s + 11, "LTdA8YS", 7uLL) )
{
v6 = puts("correct!");
}
```
3.再看字符串s从哪来? s = a1;,sub\_400700函数的第一个参数就是a1,往上层看a1就是传进来的ptr,ptr分配的是0x100,也就是256个字节大小的内存。
4.再看外层if,if ( *v30 > n + v17 - j ),如果这个else了,那么就失败了,看看v30,右边变量都是计算过来的,v30则是第二个参数,第二个参数v5=256,第三个参数是v6,第四个参数是16,而v6在前面sub\_400D00(v6, 17LL, a3)出现过。
5.回头再看看这个函数,一个循环,从v5每次读一个字节给v6,也就是把v5的值拷贝给v6,v5的值是17,然后末尾补0。
```
__int64 __fastcall sub_400D00(__int64 a1, unsigned __int64 a2)
{
char buf; // BYREF
unsigned __int64 i; //
unsigned __int64 v5; //
__int64 v6; //
v6 = a1;
v5 = a2;
for ( i = 0LL; i < v5; ++i )
{
read(0, &buf, 1uLL);
*(_BYTE *)(v6 + i) = buf;
}
*(_BYTE *)(v6 + v5 - 1) = 0;
fflush(stdout);
return (unsigned int)i;
}
```
6.前面也就是获取我们输入字符串的地方,接下来有点没思路了,接下来动态调试看看,现在kali里面./testre将程序跑起来,然后ida attach附加上来。
![https://s4.ax1x.com/2022/03/05/bw8IeK.png](https://s4.ax1x.com/2022/03/05/bw8IeK.png)
7.按g键,输入400700,跳转过去,这是啥,怎么没看到我们静态分析时的函数,前面学习脱壳的时候也经常出现调试器把代码当成数据了,这是识别不正确导致的,右键code即可看到正常的反汇编代码。
![https://s4.ax1x.com/2022/03/05/bwGakD.png](https://s4.ax1x.com/2022/03/05/bwGakD.png)
8.F2在段首400700处下断点,然后回到kali,输入1234567812345678回车,程序断了下来,然后单步跟,半小时后,放弃了,绕晕了。
![https://s4.ax1x.com/2022/03/05/bwJRDx.png](https://s4.ax1x.com/2022/03/05/bwJRDx.png)
## 0x4 看官方writeup
1.还是来到400700,先看第一个for循环,这里进行了一个异或操作,将字符串byte_400E90处的值不断与v13异或。
```
for ( i = 0LL; i < v28; ++i )
{
v13 = *(unsigned __int8 *)(v25 + i);
*((_BYTE *)v26 + i) = byte_400E90 ^ v13;
*((_BYTE *)v26 + i) += *(_BYTE *)(v25 + i);
}
```
byte_400E90点进去之后看到如下数据,百度翻译:ake secret makes you annoyed这个秘密让你生气,up里面说这个异或后面并没有用到。
```
.rodata:0000000000400E90 byte_400E90 db 66h ; DATA XREF: sub_400700+9E↑r
.rodata:0000000000400E91 aAkeSecretMakes db 'ake_secret_makes_you_annoyed',0
```
2.下面这个循环,有两个移位操作,base64编码经常会用到移位操作,up说这是base58。
```
while ( v20 < v28 )
{
v21 = *(unsigned __int8 *)(v25 + v20);
for ( j = n - 1; ; --j )
{
v10 = 1;
if ( j <= v18 )
v10 = v21 != 0;
if ( !v10 )
break;
v22 = v11 << 6;
v21 += v11 << 8;
v9 = 64;
v11 = v21 % 58;
*((_BYTE *)v26 + j) = v22 & 0x3F;
v22 >>= 6;
v21 /= 58;
v27 /= v9;
if ( !j )
break;
}
++v20;
v18 = j;
}
```
下面是base58和base64的码表,base58可以看多次左右移位6和8、除58、模58和码表进行猜测判断,例如我们这个目标程序就有两个这样的码表。
```
.rodata:0000000000400EB0 byte_400EB0 db '1' ; DATA XREF: sub_400700+446↑r
.rodata:0000000000400EB1 a23456789abcdef db '23456789ABCDEFGHJKLMNPQRSTUVWXYZabcdefghijkmnopqrstuvwxyz',0
.rodata:0000000000400EF0 byte_400EF0 db 'A' ; DATA XREF: sub_400700+464↑r
.rodata:0000000000400EF1 aBcdefghijklmno db 'BCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789+/',0
```
3.这段代码可以直接判断是干扰项,整个函数里面只有这里用到了v8,char v8的定义,这里可以直接过掉。
```
for ( j = 0LL; ; ++j )
{
v8 = 0;
if ( j < n )
v8 = ~(v11 != 0);
if ( (v8 & 1) == 0 )
break;
}
```
4.这里是最终的核心代码,v17这一段会不会执行?byte\_400EB0和byte\_400EF0又访问了码表,j的值是多少?
```
if ( *v30 > n + v17 - j )
{
if ( v17 )
{
c = 61;
memset(s, 49, v17);
memset(v26, c, v17);
}
v20 = v17;
while ( j < n )
{
v4 = v11;
*((_BYTE *)s + v20) = byte_400EB0];
*((_BYTE *)v26 + v20++) = byte_400EF0];
}
*((_BYTE *)s + v20) = 0;
*v30 = v20 + 1;
if ( !strncmp((const char *)s, "D9", 2uLL)
&& !strncmp((const char *)s + 20, "Mp", 2uLL)
&& !strncmp((const char *)s + 18, "MR", 2uLL)
&& !strncmp((const char *)s + 2, "cS9N", 4uLL)
&& !strncmp((const char *)s + 6, "9iHjM", 5uLL)
&& !strncmp((const char *)s + 11, "LTdA8YS", 7uLL) )
{
v6 = puts("correct!");
}
v32 = 1;
v14 = 1;
}
```
5.这段代码决定了v17的值,阅读一下,v12初值0,必然小于v28的值16,v25也就我们输入的字符串v6,v17的初值也是0,所以v12的结果false,所以下一个if==0就是true,直接break,v17的值还是0。
```
while ( 1 )
{
v12 = 0;
if ( v17 < v28 )
v12 = ~(*(_BYTE *)(v25 + v17) != 0);
if ( (v12 & 1) == 0 )
break;
++v17;
}
```
6.同样,v17是0,v28是16,计算结果n=22(整数相乘不保留小数),j的值回看本节4,最后一次j初始化为0,跳出循环。
```
n = 138 * (v28 - v17) / 0x64 + 1;
```
7.通过5和6排除前面的干扰项,可以得到核心代码还是这几个比较,把字符串按照s,s+2,s+6,s+11,s++18,s+20的顺序组装起来就是“D9cS9N9iHjMLTdA8YSMRMp”:
```
while ( j < n )
{
v4 = v11;
*((_BYTE *)s + v20) = byte_400EB0];
*((_BYTE *)v26 + v20++) = byte_400EF0];
}
*((_BYTE *)s + v20) = 0;
*v30 = v20 + 1;
if ( !strncmp((const char *)s, "D9", 2uLL)
&& !strncmp((const char *)s + 20, "Mp", 2uLL)
&& !strncmp((const char *)s + 18, "MR", 2uLL)
&& !strncmp((const char *)s + 2, "cS9N", 4uLL)
&& !strncmp((const char *)s + 6, "9iHjM", 5uLL)
&& !strncmp((const char *)s + 11, "LTdA8YS", 7uLL) )
{
v6 = puts("correct!");
}
v32 = 1;
v14 = 1;
}
```
8.通过上面可以看到s的值是由v11来决定,而v11的值在base58码表中出现过,可以猜测输入经过base58编码然后和D9cS9N9iHjMLTdA8YSMRMp进行比较。
![https://s4.ax1x.com/2022/03/05/bwcDIJ.png](https://s4.ax1x.com/2022/03/05/bwcDIJ.png)
9.在kali中运行程序,测试一下:
![https://s4.ax1x.com/2022/03/05/bwc5IH.png](https://s4.ax1x.com/2022/03/05/bwc5IH.png)
## 0x5 总结
1.带干扰的题目真的是头大,不知道怎么去混淆,反推时不知道会走哪一个流程,一个2分题,看了writeup现在还是有点晕。
2.静态的时候分支太多了,想着动态应该能看清走向,结果不熟悉IDA的调试功能,动态调试了个寂寞,还是得体力计算。
3.遇到不知道的算法时,要学会总结反编译后的伪代码,下次看到类似的就能猜测一下是什么算法了,elf程序,study pe没法用。
4.分析时,从影响结果的变量反推,再从输入顺推输出,排除干扰项,找到最终的输出。
## 0x6 参考资料
1.(https://knightyun.github.io/2020/04/15/linux-chinese)
2.(https://blog.csdn.net/abc_670/article/details/80066817)
3.(https://www.cnblogs.com/zhwl/p/3670712.html)
4.[攻防世界逆向高手题之testre](https://blog.csdn.net/xiao__1bai/article/details/120087849) 666支持下 学习,学习一下 看不懂,支持一下 进来学习学习的,谢楼主 支持一下,正在学习 支持楼主
base58很少遇见 实用的教程 学习了 楼主加油