BUUCTF luck_guy

BUUCTF luck_guy题解

拿到程序，先查壳，可以看出没有壳，是64位的程序
接着直接ida64位打开，找到mian函数
代码很清晰，直接追踪patch_me函数
继续追踪get_flag得到如下代码：

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

  v7 = __readfsqword(0x28u);
  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:
        v6 = 0;
        s = 0x7F666F6067756369LL;
        strcat(&f2, (const char *)&s);
        break;
      case 5:
        for ( j = 0; j <= 7; ++j )
        {
          if ( j % 2 == 1 )
            v1 = *(&f2 + j) - 2;
          else
            v1 = *(&f2 + j) - 1;
          *(&f2 + j) = v1;
        }
        break;
      default:
        puts("emmm,you can't find flag 23333");
        break;
    }
  }
  return __readfsqword(0x28u) ^ v7;
}

分析代码，发现重要的在switch函数里面，分析switch函数，易知case 2 和case 3没什么大用，就一个输出而已，case 1是flag出现的地方
分析case 1，里面有两个变量，一个是f1，一个是f2
追踪f1：
追踪f2：
f2没有东西，应该是还没有赋值
继续分析case 4，可以看出f2的值是s赋予的，接着看f5在进行计算，所以可以大概猜测case 4 是赋值的，而case 5 是对f2进行转化的
所以把case 5转化成c代码，在vs运行：
运行得到