C程序內(nèi)存安全性的運(yùn)行時(shí)驗(yàn)證研究與實(shí)現(xiàn).pdf

1、C程序內(nèi)存安全問(wèn)題是指用C語(yǔ)言編寫(xiě)的程序中存在的非法操作內(nèi)存區(qū)間引起的安全問(wèn)題，常見(jiàn)的有數(shù)組和指針訪(fǎng)問(wèn)越界、緩存區(qū)溢出和C庫(kù)函數(shù)的的非法操作等。產(chǎn)生問(wèn)題的原因是C語(yǔ)言沒(méi)有提供邊界安全檢測(cè)的機(jī)制，例如在訪(fǎng)問(wèn)數(shù)組元素時(shí)，下標(biāo)不在正常范圍（即不在0到max之間，max是數(shù)組的長(zhǎng)度），程序也會(huì)執(zhí)行。在用C語(yǔ)言編寫(xiě)的程序中大量存在這一類(lèi)問(wèn)題，并嚴(yán)重威脅著軟件安全。現(xiàn)在已經(jīng)有了很多技術(shù)能檢測(cè)出這些問(wèn)題，但它們或多或少存在些缺陷。如模型化技術(shù)，它在系

2、統(tǒng)建模精簡(jiǎn)了問(wèn)題的規(guī)模的同時(shí)也忽略了很多實(shí)現(xiàn)細(xì)節(jié)；又如路徑分析技術(shù)，雖然它能綜合上下文信息進(jìn)行判斷來(lái)減少誤報(bào)，但它存在漏報(bào)的情況，且當(dāng)路徑過(guò)多時(shí)，會(huì)檢測(cè)緩慢，等等。
　　本文提出了一種基于程序自動(dòng)化插樁進(jìn)行數(shù)組越界檢測(cè)的運(yùn)行時(shí)驗(yàn)證方法。通過(guò)分析數(shù)組越界的錯(cuò)誤類(lèi)型，根據(jù)這些類(lèi)型分別研究相應(yīng)的處理方法，設(shè)計(jì)了基于程序自動(dòng)化插樁進(jìn)行數(shù)組越界動(dòng)態(tài)檢測(cè)的算法，用實(shí)驗(yàn)說(shuō)明了該方法的可行性。在數(shù)組越界檢測(cè)的基礎(chǔ)上，本文還提出了一種改進(jìn)的基于對(duì)象