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
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}