[Buuctf] SimpleRev

1.查壳

不是exe文件，是64位ELF文件，没有壳。

2.用64位IDA打开

分析：
d/D是开始，q/Q是退出，输入d/D之后会进入Decry函数。
我们进入Decry函数看一下。

unsigned __int64 Decry()
{
  char v1; // [rsp+Fh] [rbp-51h]
  int v2; // [rsp+10h] [rbp-50h]
  int v3; // [rsp+14h] [rbp-4Ch]
  int i; // [rsp+18h] [rbp-48h]
  int v5; // [rsp+1Ch] [rbp-44h]
  char src[8]; // [rsp+20h] [rbp-40h] BYREF
  __int64 v7; // [rsp+28h] [rbp-38h]
  int v8; // [rsp+30h] [rbp-30h]
  __int64 v9[2]; // [rsp+40h] [rbp-20h] BYREF
  int v10; // [rsp+50h] [rbp-10h]
  unsigned __int64 v11; // [rsp+58h] [rbp-8h]

  v11 = __readfsqword(0x28u);
  *(_QWORD *)src = 0x534C43444ELL;
  v7 = 0LL;
  v8 = 0;
  v9[0] = 0x776F646168LL;
  v9[1] = 0LL;
  v10 = 0;
  text = (char *)join(key3, v9);
  strcpy(key, key1);
  strcat(key, src);
  v2 = 0;
  v3 = 0;
  getchar();
  v5 = strlen(key);
  for ( i = 0; i < v5; ++i )
  {
    if ( key[v3 % v5] > 64 && key[v3 % v5] <= 90 )
      key[i] = key[v3 % v5] + 32;
    ++v3;
  }
  printf("Please input your flag:");
  while ( 1 )
  {
    v1 = getchar();
    if ( v1 == 10 )
      break;
    if ( v1 == 32 )
    {
      ++v2;
    }
    else
    {
      if ( v1 <= 96 || v1 > 122 )
      {
        if ( v1 > 64 && v1 <= 90 )
        {
          str2[v2] = (v1 - 39 - key[v3 % v5] + 97) % 26 + 97;
          ++v3;
        }
      }
      else
      {
        str2[v2] = (v1 - 39 - key[v3 % v5] + 97) % 26 + 97;
        ++v3;
      }
      if ( !(v3 % v5) )
        putchar(32);
      ++v2;
    }
  }
  if ( !strcmp(text, str2) )
    puts("Congratulation!\n");
  else
    puts("Try again!\n");
  return __readfsqword(0x28u) ^ v11;
}

我们从后往前推，看到strcmp函数，往上面去找text和str2这两个参数。
看到有text = (char *)join(key3, v9);进入join函数看一下，发现它的作用是把第二个参数字符串附加在第一个参数后面，我们去查看key3和v9的内容


可以把v9转换成字符串的，转换之后是"hadow",得到text的内容了killshadow
接下来找str2的值，在while循环中发现str2是由key经过一系列变换得到的。
继续去找key。

先把key1复制给了key,用strcat函数把src附加在了key的后面，strcat函数的作用和join函数相同。


src经过变换得到NDCLS,那么key的值ADSFKNDCLS
接下来根据后面的代码写脚本

key = "ADSFKNDCLS"
key = list(key)  #adsfkndlcs
text = "killshadow"
v2 = 0
v3 = 0
v5 = len(key)
for i in range(0, v5):
    if (ord(key[v3 % v5]) > 64) and (ord(key[v3 % v5]) <= 90):
        key[i] = chr(ord(key[v3 % v5]) + 32)
    v3 = v3 + 1  #这个循环其实是把key的大写转换成了小写了
v1 = ''
key = 'adsfkndcls'
for i in range(len(key)):
    for j in range(0, 15):
        tmp = chr(ord(text[i]) - 97 + 26 * j - 97 + ord(key[v3 % len(key)]) + 39)
        if ord(tmp) >= 65 and ord(tmp) <= 90:
            v1 += tmp
            break
    v3 = v3 + 1
print(v1)
>>>KLDQCUDFZO

补充

strcat()函数
函数原型：char *strcat(char *_Destination,const char *_Source)
字符串追加/连接函数，它的功能就是在一个字符串后面追加上另外一个字符串。