re学习（30）攻防世界-hackme（代码复原2）

思路：   1.输出成功，v26不为0,说明关系式：v21=((unsigned __int8)v24 ^ v20)

           →2.在汇编代码第37行，输入v16=v20，所以求的值为v20

           →3.根据关系式，求的值v20=v21^v24

           →4.v21在第汇编代码第36行也可以提取出来

           →5.v24可以由汇编代码40行while计算出来

首先载入IDA，Ctrl+F查找main函数，没有找到，然后Shift+F2查找字符串，发现特殊字符串，跟进，然后交叉引用查看字符串位置，寻找flag

 

 

反汇编如下：

__int64 __fastcall sub_400F8E(__int64 a1, int a2, int a3, int a4, int a5, int a6)
{
  int v6; // edx
  int v7; // ecx
  int v8; // r8d
  int v9; // r9d
  int num; // ecx
  int v11; // r8d
  int v12; // r9d
  char v14; // [rsp+0h] [rbp-C0h]
  char v15; // [rsp+0h] [rbp-C0h]
  char input[136]; // [rsp+10h] [rbp-B0h] BYREF
  int v17; // [rsp+98h] [rbp-28h]
  char v18; // [rsp+9Fh] [rbp-21h]
  int v19; // [rsp+A0h] [rbp-20h]
  unsigned __int8 v20; // [rsp+A6h] [rbp-1Ah]
  char v21; // [rsp+A7h] [rbp-19h]
  int v22; // [rsp+A8h] [rbp-18h]
  int v23; // [rsp+ACh] [rbp-14h]
  int v24; // [rsp+B0h] [rbp-10h]
  int v25; // [rsp+B4h] [rbp-Ch]
  _BOOL4 v26; // [rsp+B8h] [rbp-8h]
  int i; // [rsp+BCh] [rbp-4h]

  sub_407470((unsigned int)"Give me the password: ", a2, a3, a4, a5, a6, a2);
  sub_4075A0((unsigned int)"%s", (unsigned int)input, v6, v7, v8, v9, v14);
  for ( i = 0; input[i]; ++i )
    ;
  v26 = i == 22;
  v25 = 10;
  do
  {
    num = (int)sub_406D90() % 22;               // 猜测是一个正常的返回,v10的取值为0...21,如果不正常的话需要把sub_406D90逆向一下
    v22 = num;
    v24 = 0;
    v21 = byte_6B4270[num];
    v20 = input[num];                           // 将输入值v16赋值给v20
    v19 = num + 1;
    v23 = 0;
    while ( v23 < v19 )
    {
      ++v23;
      v24 = 1828812941 * v24 + 12345;
    }
    v18 = v24 ^ v20;
    if ( v21 != ((unsigned __int8)v24 ^ v20) )  // 关系式：既然v26不为0,说明v21=((unsigned __int8)v24 ^ v20)
                                                // 在汇编代码第37行，输入v16=v20，所以求的值为v20
                                                // v21在第汇编代码第36行也可以提取出来
                                                // v24可以由汇编代码40行while计算出来
                                                // 最后根据关系式，求的值v20=v21^v24
      v26 = 0;
    --v25;
  }
  while ( v25 );
  if ( v26 )                                    // 如果在这里输出，说明v26不为0
    v17 = sub_407470((unsigned int)"Congras\n", (unsigned int)input, v24, num, v11, v12, v15);
  else
    v17 = sub_407470((unsigned int)"Oh no!\n", (unsigned int)input, v24, num, v11, v12, v15);
  return 0LL;
}

编写脚本：

int main(){
	unsigned char v21[] ={
              0x5F, 0xF2, 0x5E, 0x8B, 0x4E, 0x0E, 0xA3, 0xAA, 0xC7, 0x93, 
              0x81, 0x3D, 0x5F, 0x74, 0xA3, 0x09, 0x91, 0x2B, 0x49, 0x28, 
              0x93, 0x67, 0x00, 0x00
                         };
    for(int i=0;i<22;i++){   //先假定是这样的一个顺序 
	int v23=0;
	int v24=0;
    int v19=i+1;
	 while ( v23 < v19 )
    {
      ++v23;
      v24 = 1828812941 * v24 + 12345;
    }
    printf("%c",v24^v21[i]);
    }
} 

 flag{d826e6926098ef46}