当前位置: 首页 > article >正文

BUUCTF-逆向[GXYCTF2019]luck_guy1题解

下载文件

查文件类型

先查一下文件类型

是一个64位ELF文件

F5查看main函数伪代码

拉入IDA64,F5查看main函数伪代码

 main:

int __cdecl main(int argc, const char **argv, const char **envp)
{
  unsigned int v4; // [rsp+14h] [rbp-Ch] BYREF
  unsigned __int64 v5; // [rsp+18h] [rbp-8h]

  v5 = __readfsqword(0x28u);
  welcome(argc, argv, envp);
  puts("_________________");
  puts("try to patch me and find flag");//让我们输入一个幸运数字
  v4 = 0;
  puts("please input a lucky number");
  __isoc99_scanf("%d", &v4);
  patch_me(v4);
  puts("OK,see you again");
  return 0;
}

点击patch_me

 是一个判断奇偶的函数

如果是奇数就return

偶数就进行get_flag()

分析get_flag()函数

 31行 s处 r 一下转换为字符串

unsigned __int64 get_flag()
{
  unsigned int v0; // eax
  int i; // [rsp+4h] [rbp-3Ch]
  int j; // [rsp+8h] [rbp-38h]
  __int64 s; // [rsp+10h] [rbp-30h] BYREF
  char v5; // [rsp+18h] [rbp-28h]
  unsigned __int64 v6; // [rsp+38h] [rbp-8h]

  v6 = __readfsqword(0x28u);
  v0 = time(0LL);
  srand(v0);//随机数种子
  for ( i = 0; i <= 4; ++i )//循环五次的for
  {
    switch ( rand() % 200 )//进入哪个case是取决于这个随机数模200的
    {//电脑的随机数都是伪随机,所以程序的switch的顺序是有一个固定的顺序的
		//我们需要判断一下逻辑确定一下case的顺序
      case 1://应该是最后的
        puts("OK, it's flag:");
        memset(&s, 0, 0x28uLL);//对s进行初始化,s为一个空数组
        strcat((char *)&s, f1);//把f1赋值给s,点击f1发现f1=GXY{do_not_  为前一半的flag
        strcat((char *)&s, &f2);//f1与f2拼接
        printf("%s", (const char *)&s);//最后打印的字符串为f1与f2的拼接
        break;
      case 2://打印
        printf("Solar not like you");
        break;
      case 3://打印
        printf("Solar want a girlfriend");
        break;
      case 4://给s赋值,再进行拼接,应该是在case1之前
				//因为此处为小端序存储我们要使用的话要先把它反过来
        s = '\x7Ffo`guci';//icug`of\x7F
        v5 = 0;
        strcat(&f2, (const char *)&s);//f2和s进行字符串拼接,跟进f2发现f2为空
		//所以此处是把s的值给了f2
        break;
      case 5://对f2数组进行了一个处理,因为case4中出现f2并赋值,所以case4在case5之前
			//顺序应为4->5->1
        for ( j = 0; j <= 7; ++j )//进行了一个for循环对f2进行了一个减法操作
        {
          if ( j % 2 == 1 )
            *(&f2 + j) -= 2;//j为奇数f2-2
          else
            --*(&f2 + j);//j为偶数f2-1
        }
        break;
      default://此处为没有找到flag
        puts("emmm,you can't find flag 23333");
        break;
    }
  }
  return __readfsqword(0x28u) ^ v6;
}

分析关键函数:

switch ( rand() % 200 ) 

指的是进入哪个case是取决于随机数模200的值

而电脑的随机数都是伪随机(若使用的初值(种子)不变,那么伪随机数的数序也不变)

所以程序的switch的顺序是有一个固定的顺序的

我们需要判断一下case的顺序

判断case的顺序

case1为对字符串f1与f2的拼接,点击f1发现f1=GXY{do_not_ 为前一半的flag所以判断case1为最后触发的

点击f1发现f1=GXY{do_not_ 为前一半的flag

case2与case3是打印字符串,与获取flag无关,先跳过

case4是对s与f2赋值,把s的值赋值给f2,应在case1之前

case 5是对f2数组进行了一个处理,因为case4中出现f2并赋值,所以case4在case5之前

顺序应为case4->case5->case1

现在我们再按顺序逐步分析

case4:

      case 4://给s赋值,再进行拼接,应该是在case1之前
		//因为此处为小端序存储我们要使用的话要先把它反过来
        s = '\x7Ffo`guci';//s='icug`of\x7F'
        v5 = 0;
        strcat(&f2, (const char *)&s);//f2和s进行字符串拼接,跟进f2发现f2为空
		//所以此处是把s的值给了f2
        break;

跟进f2发现f2为空:

小端序存储:

即最低地址存放的最低字节

ELF文件通常使用小端序存储

IDA会把内存中的数据自动转化为大端序存储

所以此处s要反过来

case5:

进行了一个for循环对f2进行了一个减法操作

      case 5:
        for ( j = 0; j <= 7; ++j )//进行了一个for循环对f2进行了一个减法操作
        {
          if ( j % 2 == 1 )
            *(&f2 + j) -= 2;//j为奇数f2-2
          else
            --*(&f2 + j);//j为偶数f2-1
        }
        break;

case1:

      case 1:
        puts("OK, it's flag:");
        memset(&s, 0, 0x28uLL);//对s进行初始化,s为一个空数组
        strcat((char *)&s, f1);//把f1赋值给s,点击f1发现f1=GXY{do_not_  为前一半的flag
        strcat((char *)&s, &f2);//f1与f2拼接
        printf("%s", (const char *)&s);//最后打印的字符串为f1与f2的拼接
        break;

所以最后我们是要用脚本计算出case5对f2进行的一个减法操作,再把f2与f1拼接在一起得到flag

case5处理f2的脚本:

#include<stdio.h>
int main(){
	char f1[]="GXY{do_not_";
	char f2[]="icug`of\x7F";
	for (int j = 0; j <= 7; ++j )//进行了一个for循环对f2进行了一个减法操作
        {
          if ( j % 2 == 1 )
           f2[j]=f2[j]-2;//j为奇数f2 -2
          else
           f2[j]=f2[j]-1;//--f2[j] j为偶数f2 -1
        }
    printf("f1=%s\n",f1);
    printf("f2=%s\n",f2);
    printf("flag=%s%s",f1,f2);
} 

运行结果:

得到flag:

flag{do_not_hate_me}

 


http://www.kler.cn/a/6511.html

相关文章:

  • 2024年图像处理、多媒体技术与机器学习
  • 【Java基础面试题016】JavaObject类中有什么主要方法,作用是什么?
  • 【day11】面向对象编程进阶(继承)
  • 【QSS样式表 - ⑤】:QLineEdit控件样式
  • 内置函数.
  • 【计算机网络2】计算机网络的性能能指标
  • day14—编程题
  • JVM垃圾回收——ZGC垃圾收集器
  • 【算法】树状数组维护总结
  • 计算机底层:循环冗余校验码CRC
  • 实验十八、测量运放的开环差模放大倍数
  • 实验二 配置Trunk和链路汇聚
  • 近世代数 笔记与题型连载 第八章(置换群)
  • Linux之进程替换
  • Octree(八叉树)
  • 【进阶C语言】指针和数组笔试题解析
  • 愚人节,聊聊那些正在坑人的“新型AI”
  • 实验5 数字图像基础
  • python函数
  • 【Python入门第四十六天】Python丨NumPy 数组重塑
  • 关于分布式系统缓存扩容的一些总结(面试装逼能用实际也很有用)
  • 【机器学习算法实践】GBDT提升树,集成学习boosting方法,可分类课可回归,CART树是基础,调参是重点
  • 第十四届CCPC吉林省赛题解
  • 20230405英语学习
  • 溯源取证-钓鱼取证 基础篇
  • NDK RTMP直播客户端一