攻防世界--re2-cpp-is-awesome

测试文件：https://adworld.xctf.org.cn/media/task/attachments/c5802869b8a24033b4a80783a67c858b

1.准备

获取信息

64位文件

2.IDA打开

 __int64 __fastcall main(int a1, char **a2, char **a3)

 {

   char *v3; // rbx

   __int64 v4; // rax

   __int64 v5; // rdx

   __int64 v6; // rax

   __int64 v7; // rdx

   _BYTE *v8; // rax

   __int64 i; // [rsp+10h] [rbp-60h]

   char v11; // [rsp+20h] [rbp-50h]

   char v12; // [rsp+4Fh] [rbp-21h]

   __int64 v13; // [rsp+50h] [rbp-20h]

   int v14; // [rsp+5Ch] [rbp-14h]

   if ( a1 !=  )

   {

     v3 = *a2;

     v4 = std::operator<<<std::char_traits<char>>(&std::cout, "Usage: ", a3);

     v6 = std::operator<<<std::char_traits<char>>(v4, v3, v5);

     std::operator<<<std::char_traits<char>>(v6, " flag\n", v7);

     exit();

   }

   std::allocator<char>::allocator(&v12, a2, a3);

   std::__cxx11::basic_string<char,std::char_traits<char>,std::allocator<char>>::basic_string(&v11, a2[], &v12);

   std::allocator<char>::~allocator(&v12);

   v14 = ;

   for ( i = std::__cxx11::basic_string<char,std::char_traits<char>,std::allocator<char>>::begin(&v11); ; sub_400D7A(&i) )

   {

     v13 = std::__cxx11::basic_string<char,std::char_traits<char>,std::allocator<char>>::end(&v11);

     if ( !(unsigned __int8)sub_400D3D(&i, &v13) )

       break;

     v8 = (_BYTE *)sub_400D9A(&i);

     if ( *v8 != off_6020A0[dword_6020C0[v14]] )

       sub_400B56();

     ++v14;

   }

   sub_400B73();

   std::__cxx11::basic_string<char,std::char_traits<char>,std::allocator<char>>::~basic_string(&v11);

   return 0LL;

 }

3.代码分析

实际上这堆代码，很大部分“垃圾代码”--不需要我们关注的

我们只需要关注26行代码以下部分即可

第27行代码，是一个for循环，没有结束条件，每次增加sub_400D7A(&i)，即1字节

_QWORD *__fastcall sub_400D7A(_QWORD *a1)

{

  ++*a1;

  return a1;

}

  for ( i = std::__cxx11::basic_string<char,std::char_traits<char>,std::allocator<char>>::begin(&v11); ; sub_400D7A(&i) )

  {

    v13 = std::__cxx11::basic_string<char,std::char_traits<char>,std::allocator<char>>::end(&v11);

    if ( !sub_400D3D((__int64)&i, (__int64)&v13) )// 循环结束条件

      break;

    v8 = (_BYTE *)sub_400D9A((__int64)&i);      // 进行某种赋值

    if ( *v8 != off_6020A0[dword_6020C0[v14]] ) // 重点！这里实际上就是一个数组套着数组

      sub_400B56(&i, &v13);

    ++v14;                                      // 数组下标

  }

3.1条件中找flag

通过对比sub_400B56(&i, &v13);和 sub_400B73(&i, &v13);函数，我们能够得到flag实际藏在if判断条件中

void __fastcall __noreturn sub_400B56(__int64 a1, __int64 a2, __int64 a3)

{

  std::operator<<<std::char_traits<char>>(&std::cout, "Better luck next time\n", a3);

  exit();

}

__int64 __fastcall sub_400B73(__int64 a1, __int64 a2, __int64 a3)

{

  return std::operator<<<std::char_traits<char>>(&std::cout, "You should have the flag by now\n", a3);

}

进入off_6020A0和dword_6020C0我们可以看到

.data:00000000006020A0 off_6020A0      dq offset aL3tMeT3llY0uS0

.data:00000000006020A0                                         ; DATA XREF: main+D1↑r

.data:00000000006020A0                                         ; "L3t_ME_T3ll_Y0u_S0m3th1ng_1mp0rtant_A_{"...

.data:00000000006020A8                 align 20h

.rodata:0000000000400E58 aL3tMeT3llY0uS0 db 'L3t_ME_T3ll_Y0u_S0m3th1ng_1mp0rtant_A_{FL4G}_W0nt_b3_3X4ctly_th4t'

.rodata:0000000000400E58                                         ; DATA XREF: .data:off_6020A0↓o

这实际上就是一段字符串

.data:00000000006020C0 dword_6020C0    dd 24h                  ; DATA XREF: main+DD↑r

.data:00000000006020C4                 align

.data:00000000006020C8                 db

.data:00000000006020C9                 db

.data:00000000006020CA                 db

.data:00000000006020CB                 db

.data:00000000006020CC                 db  36h ;

.data:00000000006020CD                 db

.data:00000000006020CE                 db

.data:00000000006020CF                 db

.data:00000000006020D0                 db  65h ; e

.data:00000000006020D1                 db

.data:00000000006020D2                 db

.data:00000000006020D3                 db

.data:00000000006020D4                 db

.data:00000000006020D5                 db

.data:00000000006020D6                 db

.data:00000000006020D7                 db

.data:00000000006020D8                 db  27h ; '

.data:00000000006020D9                 db

.data:00000000006020DA                 db

.data:00000000006020DB                 db

.data:00000000006020DC                 db  26h ; &

.data:00000000006020DD                 db

.data:00000000006020DE                 db

.data:00000000006020DF                 db

.data:00000000006020E0                 db  2Dh ; -

.data:00000000006020E1                 db

.data:00000000006020E2                 db

.data:00000000006020E3                 db

.data:00000000006020E4                 db

.data:00000000006020E5                 db

.data:00000000006020E6                 db

.data:00000000006020E7                 db

.data:00000000006020E8                 db

.data:00000000006020E9                 db

.data:00000000006020EA                 db

.data:00000000006020EB                 db

.data:00000000006020EC                 db

.data:00000000006020ED                 db

.data:00000000006020EE                 db

.data:00000000006020EF                 db

.data:00000000006020F0                 db  0Dh

.data:00000000006020F1                 db

.data:00000000006020F2                 db

.data:00000000006020F3                 db

.data:00000000006020F4                 db  56h ; V

.data:00000000006020F5                 db

.data:00000000006020F6                 db

.data:00000000006020F7                 db

.data:00000000006020F8                 db

.data:00000000006020F9                 db

.data:00000000006020FA                 db

.data:00000000006020FB                 db

.data:00000000006020FC                 db

.data:00000000006020FD                 db

.data:00000000006020FE                 db

.data:00000000006020FF                 db

.data:                 db  65h ; e

.data:                 db

.data:                 db

.data:                 db

.data:                 db

.data:                 db

.data:                 db

.data:                 db

.data:                 db  2Dh ; -

.data:                 db

.data:000000000060210A                 db

.data:000000000060210B                 db

.data:000000000060210C                 db  16h

.data:000000000060210D                 db

.data:000000000060210E                 db

.data:000000000060210F                 db

.data:                 db

.data:                 db

.data:                 db

.data:                 db

.data:                 db  15h

.data:                 db

.data:                 db

.data:                 db

.data:                 db

.data:                 db

.data:000000000060211A                 db

.data:000000000060211B                 db

.data:000000000060211C                 db  65h ; e

.data:000000000060211D                 db

.data:000000000060211E                 db

.data:000000000060211F                 db

.data:                 db

.data:                 db

.data:                 db

.data:                 db

.data:                 db  29h ; )

.data:                 db

.data:                 db

.data:                 db

.data:                 db  44h ; D

.data:                 db

.data:000000000060212A                 db

.data:000000000060212B                 db

.data:000000000060212C                 db  44h ; D

.data:000000000060212D                 db

.data:000000000060212E                 db

.data:000000000060212F                 db

.data:                 db

.data:                 db

.data:                 db

.data:                 db

.data:                 db  44h ; D

.data:                 db

.data:                 db

.data:                 db

.data:                 db  2Bh ; +

.data:                 db

.data:000000000060213A                 db

.data:000000000060213B                 db

.data:000000000060213B _data           ends

这里就相当于是一连串的整数

因此我们可以分析得出，通过v15/v14作为内部数组下标，循环获到的整数再作为外部数组的下标，获取到需要的字符串。

这里值得注意的一点是，algn 8表示两个数之间间隔8位，相当于在两个数之间插了7个0，也就相当于在头两个数之间还有一个'0'

4.脚本获取flag

S = 'L3t_ME_T3ll_Y0u_S0m3th1ng_1mp0rtant_A_{FL4G}_W0nt_b3_3X4ctly_th4t_345y_t0_c4ptur3_H0wev3r_1T_w1ll_b3_C00l_'

N = [0x24,0x0,0x5,0x36,0x65,0x7,0x27,0x26,0x2d,0x1,0x3,0x0,0x0d,0x56,0x1,0x3,0x65,0x3,0x2d,0x16,0x2,0x15,0x3,0x65,0x0,0x29,0x44,0x44,0x1,0x44,0x2b]

x = ''

for i in N:

    x += S[i]

print(x)

5.get flag！

ALEXCTF{W3_L0v3_C_W1th_CL45535}

巴特西