基于動態(tài)二進制探測框架的緩沖區(qū)溢出檢測研究.pdf

1、緩沖區(qū)溢出是常見的程序漏洞。近二十年來,利用緩沖區(qū)溢出的攻擊行為越來越多,給用戶造成巨大的損失。相對的,對緩沖區(qū)溢出檢測的研究以及對防御利用緩沖區(qū)溢出的攻擊行為的研究也越來越廣泛、深入。目前有多種防御緩沖區(qū)溢出的工具,由于研究方法上的限制,導(dǎo)致這些工具大多具有以下兩個缺點：需要源代碼的支持；只能針對某種類型的緩沖區(qū)溢出攻擊,不具有普遍性。為了解決現(xiàn)有緩沖區(qū)溢出防御的兩個缺點,本文提出了綜合運用動態(tài)二進制探測方法和污點分析方法構(gòu)造緩沖區(qū)溢

2、出防御工具的研究內(nèi)容。動態(tài)二進制探測方法是指在二進制代碼的層面上,加入分析程序行為的探測代碼,收集并分析程序行為的一種方法。動態(tài)二進制探測方法不需要源代碼的支持,能夠很好的支持商用軟件和遺留代碼,打破了現(xiàn)有緩沖區(qū)溢出檢測工具中需要源代碼支持的局限。為提高效率,大部分的動態(tài)二進制探測工具都是在動態(tài)二進制探測框架的基礎(chǔ)上進行開發(fā)的。污點分析的方法是指將程序中使用的數(shù)據(jù)分為被污染的和未被污染的兩類,在程序運行的過程中,控制數(shù)據(jù)的污染屬性,當(dāng)非

3、法使用被污染的數(shù)據(jù)時,則斷言攻擊行為存在的一種方法。污點分析的方法主要包括污染源的確定、污染屬性的傳遞、被污染數(shù)據(jù)非法使用的判定三個步驟。它能夠檢測出各種類型的緩沖區(qū)溢出攻擊,具有普適性。本研究以動態(tài)二進制探測方法和污點分析方法為指導(dǎo),在動態(tài)二進制翻譯系統(tǒng)Crossbit基礎(chǔ)上構(gòu)建了動態(tài)二進制探測框架CrossIF,并在此基礎(chǔ)上實現(xiàn)了防御緩沖區(qū)溢出的動態(tài)二進制探測工具BufferSafeTy。通過實例驗證BufferSafeTy的功能,