基于二進(jìn)制代碼的緩沖區(qū)溢出檢測技術(shù)的研究與應(yīng)用.pdf

1、在各種安全問題中，緩沖區(qū)溢出漏洞已成為主要問題之一。信息系統(tǒng)的系統(tǒng)軟件和應(yīng)用軟件自身的安全性是信息系統(tǒng)安全保障的基礎(chǔ)，然而無論是系統(tǒng)軟件還是應(yīng)用軟件都不乏有緩沖區(qū)溢出漏洞的存在。在對(duì)信息系統(tǒng)的安全發(fā)動(dòng)的攻擊中，針對(duì)緩沖區(qū)漏洞進(jìn)行的攻擊已經(jīng)成為一種最重要的攻擊方式之一。截至到2004年12月，在CERT/CC新發(fā)布的100個(gè)最嚴(yán)重的漏洞中，近一半的漏洞是程序中的緩沖區(qū)溢出漏洞帶來的。 本文首先對(duì)緩沖區(qū)溢出的基本原理和檢測技術(shù)作了簡

2、單概述，接著分析了現(xiàn)有的國內(nèi)外相關(guān)研究及其工具，并從六個(gè)方面系統(tǒng)介紹了緩沖區(qū)溢出的保護(hù)方法。 本文的研究主要是借助IDA PRO這一強(qiáng)大的反匯編平臺(tái)，基于IDC腳本語言對(duì)二進(jìn)制代碼進(jìn)行緩沖區(qū)溢出漏洞檢測。在利用IDC腳本發(fā)掘漏洞方面，Halvar Flake用IDC編寫了一個(gè)靜態(tài)分析工具BugScam。BugScam是一個(gè)采取針對(duì)可能導(dǎo)致緩沖區(qū)溢出和格式化字符串的庫函數(shù)進(jìn)行檢查的方式來確定程序中是否存在安全隱患，是一種匯編級(jí)的檢

3、查。本文重點(diǎn)分析了Bugscam腳本，采用自頂向下的方法，依次分析每一個(gè)函數(shù)模塊，總結(jié)出對(duì)應(yīng)的流程圖。針對(duì)Bugscam的一些錯(cuò)誤與不足進(jìn)行了適當(dāng)?shù)男拚透倪M(jìn)。 最后的實(shí)現(xiàn)模塊是在IDA PRO平臺(tái)中對(duì)二進(jìn)制代碼進(jìn)行反匯編，利用IDC腳本語言從匯編代碼中提取函數(shù)依賴關(guān)系圖和控制流分析，使用MFC程序輸出緩沖區(qū)溢出檢測結(jié)果。提取函數(shù)依賴關(guān)系圖采用深度優(yōu)先的算法，同時(shí)基于控制流的分析能夠有效地提高漏洞發(fā)掘的準(zhǔn)確性。最后與Bugsca