基于靜態(tài)檢測(cè)的代碼審計(jì)技術(shù)研究.pdf

1、隨著應(yīng)用軟件的不斷豐富，信息安全面臨的挑戰(zhàn)也日益嚴(yán)峻。一般來(lái)說(shuō)，軟件安全問(wèn)題大都由代碼缺陷引起。因代碼缺陷產(chǎn)生的安全漏洞，很可能被攻擊者利用，進(jìn)而達(dá)到竊取信息、控制系統(tǒng)等目的。按檢測(cè)過(guò)程中是否需要執(zhí)行程序，軟件安全缺陷檢測(cè)可分為靜態(tài)檢測(cè)和動(dòng)態(tài)檢測(cè)兩大類。然而，無(wú)論是靜態(tài)檢測(cè)技術(shù)還是動(dòng)態(tài)檢測(cè)技術(shù)都存在誤報(bào)率和漏報(bào)率較高的問(wèn)題，不能滿足當(dāng)前軟件代碼的安全需求。因此，如何實(shí)現(xiàn)高效準(zhǔn)確的代碼審計(jì)已成為當(dāng)今國(guó)內(nèi)外學(xué)者致力研究的一個(gè)熱點(diǎn)問(wèn)題。

2、>　　靜態(tài)檢測(cè)相對(duì)來(lái)說(shuō)效率較高，但對(duì)常用的靜態(tài)源代碼掃描工具Its4、Rats、Flawfinder、Splint、Cppcheck進(jìn)行實(shí)驗(yàn)，發(fā)現(xiàn)它們的誤報(bào)率都非常高，導(dǎo)致單獨(dú)使用某一個(gè)工具并不合適，然而不同工具的檢測(cè)結(jié)果可以在不同程度和不同方面反映源代碼存在的安全問(wèn)題。在單個(gè)工具檢測(cè)結(jié)果的誤報(bào)率較高的情況下，如果能將采用不同靜態(tài)分析原理的源代碼掃描工具的檢測(cè)結(jié)果進(jìn)行綜合利用，得到的結(jié)論將比只利用單個(gè)工具進(jìn)行檢測(cè)更具說(shuō)服力。本文在對(duì)數(shù)據(jù)

3、融合技術(shù)進(jìn)行研究之后，將一種改進(jìn)的 D-S證據(jù)理論應(yīng)用于靜態(tài)代碼審計(jì)技術(shù)當(dāng)中，為基于靜態(tài)檢測(cè)的代碼審計(jì)技術(shù)提供了一種新思路。首先，采用不同的靜態(tài)源代碼掃描工具對(duì)檢測(cè)對(duì)象進(jìn)行綜合掃描，并對(duì)各個(gè)工具的檢測(cè)結(jié)果進(jìn)行標(biāo)準(zhǔn)化處理；然后，利用各工具的誤報(bào)率和漏報(bào)率計(jì)算它們的可信度值，并把可信度值當(dāng)作權(quán)值對(duì)原始證據(jù)進(jìn)行加權(quán)平均；接著，對(duì)證據(jù)進(jìn)行 n-1次 Dempster規(guī)則合成；最后，利用新的 m函數(shù)值進(jìn)行漏洞判決。實(shí)驗(yàn)表明，相比于單個(gè)工具，新方法