緩沖區(qū)溢出漏洞發(fā)掘模型(已修改)
2025-05-29 04:23 本頁面
【正文】 緩沖區(qū)溢出漏洞發(fā)掘模型 作者： funnywei 日期： ? 內(nèi)容摘要 –簡介 （ Introduction） –相關(guān)工作 （ Related Work） –我們的模型 （ Our Model） –總結(jié) （ Conclusion） Copyright 169。 funnywei 2021 ? 簡介 – 研究的必要性 – C和 C++語言仍然是開發(fā)的主要工具 – 緩沖區(qū)溢出攻擊已成為主要攻擊手段 Copyright 169。 funnywei 2021 ? 相關(guān)工作 （ Related Work） –靜態(tài)檢測（ Static Detection） –動(dòng)態(tài)檢測（ Dynamic Detection） 主要分為動(dòng)態(tài)和靜態(tài)檢測兩種方法，其中靜態(tài)檢 測工具主要針對源碼做相應(yīng)檢測，而動(dòng)態(tài)檢測工 具主要從對二進(jìn)制程序運(yùn)行時(shí)保護(hù)的角度出發(fā)。 Copyright 169。 funnywei 2021 ? 靜態(tài)檢測工具 – 第一代： lint – 第二代： Splint和 LClint –第三代： Flowfinder， RATS， ITS4 Copyright 169。 funnywei 2021 ? 動(dòng)態(tài)檢測工具 –FIST（ Fault Injection Security Tool） –Libsafe和 Libverify –Stack Shield Copyright 169。 funnywei 2021 ? 我們的檢測模型 – 靜態(tài)分析 – 動(dòng)態(tài)分析和測試 Copyright 169。 funnywei 2021 ? 靜態(tài)分析 – 目的：得到子過程調(diào)用的關(guān)系圖，以便后續(xù)的分析。每一個(gè)子過程作為圖中的一個(gè)節(jié)點(diǎn)，同時(shí)不安全的函數(shù)也作為一個(gè)節(jié)點(diǎn)存在。 – 方法： ?call和 ret指令搜索 ?編譯器優(yōu)化和特征碼匹配 ?緩沖區(qū)邊界的定位 – 輔助：基于污點(diǎn)傳播的雙向數(shù)據(jù)流分析 Copyright 169。 funnywei 2021 有向圖舉例： fun(char * arg) { char src[100] = {“This is a test”}。 strcpy(arg, src)。 printf(“%s \n”, arg)。 } main（） { char dest[100]。 fun(dest)。 printf(“%s\n”, dest)。 } Copyright 169。 funnywei 2021 M a i np r i n t fF u nS t r c p yP r i n t f? 有向圖節(jié)點(diǎn)記錄 – 子函數(shù)的起始位置 – 函數(shù)所分配的堆棧大小 – 函數(shù)局部變量的使用情況 – 調(diào)用者傳遞給函數(shù)的參數(shù) – 調(diào)用者調(diào)用本函數(shù)的地址（即函數(shù)調(diào)用的返回地址） Copyright 169。 funnywei 2021 ? call和 ret指令搜索 – 采用深度優(yōu)先或者廣度優(yōu)先的搜索算法。 Copyright 169。 funnywei 2021 ? 編譯器優(yōu)化和特征碼匹配 – 編譯器對程序進(jìn)行了優(yōu)化以提高執(zhí)行速度，有些函數(shù)（如 strcpy，strcat）被硬編碼到程序中。 – 如： strcpy（） main（） { char dest[100]； char src[100]； gets（ src）； strcpy（ dest， src）； return； } Copyright 169。 funnywei 2021 ? VC ? 思想：只要在程序中以 ECX為核心對指令進(jìn)行匹配，同時(shí)配合這三條字符串操作指令，就可以定位 strcat和 strcpy。 repne scas byte ptr [edi] ；掃描源字符串，長度存放在 ecx中 not ecx .....
環(huán)評公示相關(guān)推薦
鄂ICP備17016276號-1