[BUUCTF]RE-SimpleRev笔记与思考

封面ID: 89209550

背景：

    初学逆向，遇到的最大问题是“在知道原算法的情况下要如何得出逆算法”；一般的加减乘除确实只需要做相反操作即可，但对于异或和取余等运算则有些麻烦，于是试着写一些可能的解决方案。似乎是数论的内容，但题主目前还未学到那种程度，诸多密码学内容尚且不明，所以以后再作更新。

​

    题目本身是个简单的入门题，在逻辑上并没有难点。

    (如下是IDA反编译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;
}

主要逻辑：

    顺逻辑：①获取text字数数组；②获取key数组；③将key数组中大写换为小写；④获取输入，通过key数组进行运算得到str2；⑤将text与str2比较，得出对错。

    逆逻辑：①将text与str2进行比较；②获取str2(可知str2为输入，text为密文)；③置换key数组得到新key；④得到原key；⑤得到text

    char text[] = "killshadow";

    char key[] = "adsfkndcls";

    如上可以较为轻松的得出最终的key和text数组，那么关键只剩下如何通过逆运算得出明文了。

如下代码为主要逻辑：

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

运算规则：

    输入一个字符 ’x‘，进行如下运算：(x-39-key[v3%v5]+97)%26+97

   关键问题便是应该如何处理取余运算的逆运算以得到x。

逆算法：

    for (int i = 0;i<10; i++)
    {
        for (int j=0;j<5;j++)
        {
            str[i] = (text[i] - 97)+j*26+39+key[v3%v5]-97;
            if (str[i] >= 65 && str[i] <= 90)
            {
                v3++;
                break;
            }
        }
    }

    翻阅了其他师傅们的WP，并没有特地说明为什么输入值都是字符，暂且当作是一种根据结果(密文只有字符)而来的猜测。

    以下为一般的取模逆算法：

    上述的B即为本体求解的flag。

    最终做法为：遍历 i ，当结果符合“字符要求”时则保存该字符。(但我给出的脚本并没有包括小写范围，实际上并不影响，如果答案不符合只需要再加额外的判断条件即可)

    本题还有一个比较特别的地方，在拼接text的时候，如果只通过手动运算，有可能会出错。

​

    这些字符明显和结果是逆序的，由于我是直接抄出了join函数的实现所以做题的时候并没有遇到这个问题，但事后才发现还有还存在这种问题。

    起因来自Intel架构中的小端序存储方式，具体内容不在此赘述，从结论上来说便是所看到的与实际结果将成逆序。