基于靜態(tài)分析的緩沖溢出漏洞檢測(cè)研究.pdf

1、本文提出了一種針對(duì)C源碼中緩沖溢出漏洞的靜態(tài)檢測(cè)方案。其設(shè)計(jì)目標(biāo)包括(1)針對(duì)漏洞的詞法、語(yǔ)法、語(yǔ)義特征，分層次實(shí)現(xiàn)檢測(cè)器的功能模塊，使漏洞特征提取更充分；(2)檢測(cè)器的實(shí)現(xiàn)環(huán)節(jié)和執(zhí)行過(guò)程均不依賴于其它的通用代碼分析工具，以避免與漏洞檢測(cè)無(wú)關(guān)的語(yǔ)義分析開(kāi)銷。 基于以上設(shè)計(jì)目標(biāo)，本方案提出并實(shí)現(xiàn)了一種C的等價(jià)文法：漏洞特征文法，并借助編譯器生成工具YACC構(gòu)造出一個(gè)對(duì)漏洞形式化特征敏感的語(yǔ)法分析器；以該分析器為框架，配合漏洞信息表

2、示和漏洞判定等工作，最終實(shí)現(xiàn)了一個(gè)完整的漏洞檢測(cè)工具原型。 由于這種等價(jià)文法實(shí)現(xiàn)了漏洞形式化特征與普通C語(yǔ)法的分離，因此，由它生成的語(yǔ)法分析器具有對(duì)緩沖區(qū)溢出漏洞敏感的特點(diǎn)，從而使漏洞信息收集工作比較可靠和準(zhǔn)確；另外，這種基于漏洞特征的文法分解為整個(gè)方案提供了一個(gè)形式化框架，保證了后期語(yǔ)義分析的針對(duì)性，并降低了算法設(shè)計(jì)的復(fù)雜度；由于方案并不依賴于已有的一些通用代碼分析工具，從而使項(xiàng)目實(shí)施過(guò)程具有一定的靈活性。 最后的實(shí)驗(yàn)