緩沖區(qū)溢出漏洞發(fā)掘模型-全文預(yù)覽
【正文】 ight 169。 untainted int a。而且多數(shù)情況下，真正出錯的地方很有可能與最終調(diào)用 vsnprinft， prinft的函數(shù)并不在一個源文件中。 |site_exec |lreply |vreply Copyright 169。 – 污點來源： 環(huán)境變量，參數(shù)，文件，網(wǎng)絡(luò)輸入 – 污點傳播在源碼檢測中的運用 – 在二進制代碼中的應(yīng)用 ―― 雙向數(shù)據(jù)流分析方法 Copyright 169。 Copyright 169。 Copyright 169。通過這個特性，我們就可以確定緩沖區(qū)的邊界。 Copyright 169。由于有壓棧的操作， ESP的值不固定，我們用 base來代表程序開始時 sub esp,64h所指向的位置。 return 0。然而在編譯后的程序中沒有任何一條指令對其余的地址空間進行訪問。 本文思想：根據(jù)指令對內(nèi)存單元訪問情況來界定緩沖區(qū) 邊界。 funnywei 2021 ? VC ? strcpy函數(shù)也會被硬編碼到程序中去，但是它產(chǎn)生的二進制碼卻和 。 funnywei 2021 ? 編譯器優(yōu)化和特征碼匹配 – 編譯器對程序進行了優(yōu)化以提高執(zhí)行速度，有些函數(shù)（如 strcpy，strcat）被硬編碼到程序中。 } Copyright 169。 printf(“%s \n”, arg)。每一個子過程作為圖中的一個節(jié)點，同時不安全的函數(shù)也作為一個節(jié)點存在。 funnywei 2021 ? 靜態(tài)檢測工具 – 第一代： lint – 第二代： Splint和 LClint –第三代： Flowfinder， RATS， ITS4 Copyright 169。緩沖區(qū)溢出漏洞發(fā)掘模型 作者： funnywei 日期： ? 內(nèi)容摘要 –簡介 （ Introduction） –相關(guān)工作 （ Related Work） –我們的模型 （ Our Model） –總結(jié) （ Conclusion） Copyright 169。 Copyright 169。 funnywei 2021 ? 靜態(tài)分析 – 目的：得到子過程調(diào)用的關(guān)系圖，以便后續(xù)的分析。 strcpy(arg, src)。 printf(“%s\n”, dest)。 Copyright 169。 repne scas byte ptr [edi] ；掃描源字符串，長度存放在 ecx中 not ecx ..... mov EnX, ECX ..... shr ecx, 2 rep movs dword ptr [edi],dword ptr [esi] mov ecx, Enx and ecx, 3 ..... rep movs byte ptr [edi],byte ptr [esi] Copyright 169。 funnywei 2021 ? 緩沖區(qū)邊界的定位 Libsafe對緩沖區(qū)估算采用最大化到棧幀的方法。但是對于數(shù)組字符數(shù)組來說，只要數(shù)組中有一個成員被訪問，程序就會在堆棧中為整個數(shù)組保留地址空間。 strcpy(dest, this is a test)。其次，根據(jù)特征碼匹配和非安全函數(shù)調(diào)用匹配找到字符緩沖區(qū)的起始位置： 0040101E 56 push esi 0040101F 57 push edi ... 0040105D 8D 54 24 08 lea edx,[esp+8] ... 00401065 8B FA mov edi,edx ... 0040106A F3 A5 rep movs
環(huán)評公示相關(guān)推薦
鄂ICP備17016276號-1