2022-02-07

[GXYCTF2019]luck_guy

64位IDA打开

F5打开主函数

// local variable allocation has failed, the output may be wrong!
int __cdecl main(int argc, const char **argv, const char **envp)
{
  int result; // eax@1
  __int64 v4; // rdx@1
  unsigned int v5; // [sp+14h] [bp-Ch]@1
  __int64 v6; // [sp+18h] [bp-8h]@1

  v6 = *MK_FP(__FS__, 40LL);
  welcome(*(_QWORD *)&argc, argv, envp);
  puts("_________________");
  puts("try to patch me and find flag");
  v5 = 0;
  puts("please input a lucky number");
  __isoc99_scanf("%d", &v5);
  patch_me(v5);
  puts("OK,see you again");
  result = 0;
  v4 = *MK_FP(__FS__, 40LL) ^ v6;
  return result;
}

读程序
继续，打开patch_me()

int __fastcall patch_me(int a1)
{
  int result; // eax@2

  if ( ((((unsigned int)((unsigned __int64)a1 >> 32) >> 31) + (_BYTE)a1) & 1)
     - ((unsigned int)((unsigned __int64)a1 >> 32) >> 31) == 1 )
    result = puts("just finished");
  else
    result = get_flag();
  return result;
}

继续，get_flag()

__int64 get_flag()
{
  unsigned int v0; // eax@1
  signed int i; // [sp+4h] [bp-3Ch]@1
  signed int j; // [sp+8h] [bp-38h]@7
  __int64 s; // [sp+10h] [bp-30h]@3
  char v5; // [sp+18h] [bp-28h]@6
  __int64 v6; // [sp+38h] [bp-8h]@1

  v6 = *MK_FP(__FS__, 40LL);
  v0 = time(0LL);
  srand(v0);
  for ( i = 0; i <= 4; ++i )
  {
    switch ( rand() % 200 )
    {
      case 1:
        puts("OK, it's flag:");
        memset(&s, 0, 0x28uLL);
        strcat((char *)&s, f1);
        strcat((char *)&s, &f2);
        printf("%s", &s);
        break;
      case 2:
        printf("Solar not like you");
        break;
      case 3:
        printf("Solar want a girlfriend");
        break;
      case 4:
        v5 = 0;
        s = 9180147350284624745LL;
        strcat(&f2, (const char *)&s);
        break;
      case 5:
        for ( j = 0; j <= 7; ++j )
        {
          if ( ((((unsigned int)((unsigned __int64)j >> 32) >> 31) + (_BYTE)j) & 1)
             - ((unsigned int)((unsigned __int64)j >> 32) >> 31) == 1 )
            *(&f2 + j) -= 2;
          else
            --*(&f2 + j);
        }
        break;
      default:
        puts("emmm,you can't find flag 23333");
        break;
    }
  }
  return *MK_FP(__FS__, 40LL) ^ v6;
}

读程序，发现flag是由f1和f2连起来的
f1已知是GXY{do_not_
f2初始值在case4中给了出来

然后case5对这个值进行了处理最后才连到flag上面

首先将0775463366014735261551LL转为十六进制数字，然后将case5中的循环逆过去
参考代码

flag = 'GXY{do_not_'
f2 = [0x7F, 0x66, 0x6F, 0x60, 0x67, 0x75, 0x63, 0x69][::-1]
s = ''
for i in range(8):
    if i % 2 == 1:
        s = chr(int(f2[i]) - 2)
    else:
        s = chr(int(f2[i]) - 1)
    flag += s
print(flag)

运行得到：GXY{do_not_hate_me}