算法分析一道逆向CTF题

查看 300|回复 9
作者:Panel   
算法分析一道逆向CTF题
1.下载查壳,跑一遍


image-20220310222854518.png (41.12 KB, 下载次数: 0)
下载附件
1
2022-3-10 23:13 上传



image-20220310222905581.png (11.37 KB, 下载次数: 0)
下载附件
2
2022-3-10 23:13 上传

提示输入,随便输入后结束程序
2.使用IDA静态分析,拖进去直接F5伪代码分析


image-20220310223050838.png (50.71 KB, 下载次数: 0)
下载附件
3
2022-3-10 23:13 上传

v7 = strcmp(byte_40336C, aXircjR2twsv3pt);
    if ( v7 )
      v7 = v7
从伪代码中可以看到关键字符"right\n",那这里可以直接看出这个sub_401020指定就是输入正确后的提示函数,但是要执行sub_401020函数则需要v7是一个非零的数,那么我们就跟踪v7,可以从整个main函数中看到,对v7变量做出更改的只有一下两个地方
v7 = strcmp(byte_40336C, aXircjR2twsv3pt);
if ( v7 )
      v7 = v7
第一个地方v7是byte_40336C变量与aXircjR2twsv3pt变量strcmp的返回值,第二个地方v7无论怎么样都是非零数,所以第二个地方的v7就不影响提示输入正确的函数sub_401020("right\n", Arglist[0]),那只有第一个地方的了,化简后的对比代码如下
v7 = strcmp(byte_40336C, aXircjR2twsv3pt);
if ( !v7 )
    {
      sub_401020("right\n", Arglist[0]);
      system("pause");
    }
也就是说,只要byte_40336C与aXircjR2twsv3pt相等就行了,相等v7就等于0,!v7就为真,那就执行提示输入正确的函数,到这里根据以往的经验就可以有90%的信心确定这个byte_40336C就是最后一次flag的密文,我们只需推到出这个byte_40336C就应该可以解决题目了
那好,接下来找出aXircjR2twsv3pt的具体值,双击aXircjR2twsv3pt进入查看具体值


image-20220310224913253.png (35.04 KB, 下载次数: 0)
下载附件
4
2022-3-10 23:13 上传

shift+e把aXircjR2twsv3pt提取出来先放好,继续查看aXircjR2twsv3pt与byte_40336C存在的逻辑
for ( i = 0; i
我们刚才得到最后的byte_40336C正确的满足条件就是等于aXircjR2twsv3pt,那在上面的代码中就只存在一个未知数:每次循环前的byte_40336C,那我们先用刚才提取出的aXircjR2twsv3pt写脚本推导出每次循环前的byte_40336C,代码如下:
#include
#include
int main()
{
    unsigned char aXircjR2twsv3pt[] =
    {
        0x78, 0x49, 0x72, 0x43, 0x6A, 0x7E, 0x3C, 0x72, 0x7C, 0x32,
        0x74, 0x57, 0x73, 0x76, 0x33, 0x50, 0x74, 0x49, 0x7F, 0x7A,
        0x6E, 0x64, 0x6B, 0x61, 0x00, 0x00, 0x00, 0x00
    };
    char get[24];
    for (size_t i = 0; i


image-20220310230250922.png (14.54 KB, 下载次数: 0)
下载附件
5
2022-3-10 23:13 上传

到这里以后,我们继续阅读main函数代码逻辑,发现在这个for循环之前只有一个地方操作了这个byte_40336C变量,但是即使再怎么操作byte_40336C变量的最后操作都是for循环结构内,所以再for以前的代码毫无意义了,那此时我们得到最后的条件就是上面输出的“}NsDkw9sy3qPto4UqNx{galf”字符了,所以只能通过这个字符串来查找关键信息最快,咱们不如把“}NsDkw9sy3qPto4UqNx{galf”倒序看一下,是不是有flag{...}这味?那我们把for循环输出从最后一位开始倒序


image-20220310230449280.png (37.12 KB, 下载次数: 0)
下载附件
6
2022-3-10 23:13 上传

脚本如下:
#include
#include
int main()
{
     char aXircjR2twsv3pt[] =
    {
        0x78, 0x49, 0x72, 0x43, 0x6A, 0x7E, 0x3C, 0x72, 0x7C, 0x32,
        0x74, 0x57, 0x73, 0x76, 0x33, 0x50, 0x74, 0x49, 0x7F, 0x7A,
        0x6E, 0x64, 0x6B, 0x61, 0x00, 0x00, 0x00, 0x00
    };
    char get[24];
    for (size_t i = 0; i =0; i--)
    {
        printf("%c", get);
    }
    system("pause");
}


image-20220310231111042.png (9.52 KB, 下载次数: 0)
下载附件
7
2022-3-10 23:14 上传

提交正确了,其实有个经验便是:CTF有时候更像脑筋急转弯

函数, 代码

MattSeeker   

研究一下
iloveasdl   

不错,学习下
Clearloveu   

可以,学习下
lbg2222000   

可以学习下,感谢分享
makmak79   

学习了,感谢分享
SKPrimin   

学到了,感谢分享
guodaojide   

不错不错不错不错不错不错不错不错不错不错
shuahtbcfff   

学习了,有样本可以发下吗
Panel
OP
  


shuahtbcfff 发表于 2023-4-18 08:06
学习了,有样本可以发下吗

时间太久了,记不得是那题了
您需要登录后才可以回帖 登录 | 立即注册

返回顶部