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

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

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