動(dòng)態(tài)符號(hào)執(zhí)行中的外部函數(shù)處理.pdf

1、軟件可靠性是衡量軟件安全的一個(gè)標(biāo)準(zhǔn)，通常通過對(duì)軟件進(jìn)行全面測(cè)試評(píng)估其可靠程度。現(xiàn)代測(cè)試技術(shù)對(duì)測(cè)試結(jié)果的覆蓋度和準(zhǔn)確率有更高的要求。動(dòng)態(tài)符號(hào)執(zhí)行技術(shù)結(jié)合了動(dòng)態(tài)測(cè)試以及符號(hào)執(zhí)行的優(yōu)點(diǎn)，能夠直接分析程序二進(jìn)制格式可執(zhí)行文件，是一種新型軟件測(cè)試和程序分析技術(shù)手段。
　　動(dòng)態(tài)符號(hào)執(zhí)行技術(shù)早期只能對(duì)線性程序和簡(jiǎn)單變量進(jìn)行分析，隨著求解理論的發(fā)展，目前已能處理更加復(fù)雜的情況，例如過程間調(diào)用分析，復(fù)雜結(jié)構(gòu)體處理等。然而，動(dòng)態(tài)符號(hào)自身還存在很多問題

2、，其中最為突出的如路徑爆炸和外部函數(shù)處理問題。動(dòng)態(tài)符號(hào)的路徑數(shù)目是程序規(guī)模的指數(shù)倍數(shù)，因此，無法利用動(dòng)態(tài)符號(hào)技術(shù)有效求解大型應(yīng)用程序。程序廣泛存在著與外部環(huán)境的交互，調(diào)用外部函數(shù)一方面可能會(huì)增加需要符號(hào)分析的規(guī)模，直接造成路徑爆炸；另一方面，外部函數(shù)情況復(fù)雜，可能無法獲知函數(shù)準(zhǔn)確的語義，此時(shí)的外部環(huán)境對(duì)于分析者近似于黑盒。
　　本文的研究工作針對(duì)外部函數(shù)調(diào)用問題。假如外部函數(shù)調(diào)用處置得當(dāng)，能夠極大地減小程序需要分析的規(guī)模，這又有利

3、于緩解路徑爆炸；無法分析外部函數(shù)會(huì)直接影響結(jié)果的準(zhǔn)確性，要建立可靠的分析，就需要對(duì)外部函數(shù)調(diào)用問題作恰當(dāng)?shù)奶幚?，而目前通過建模或者單純以具體值替代符號(hào)變量的方式都不足以同時(shí)滿足上述這些條件。本文的工作主要有：
　　對(duì)程序發(fā)生外部調(diào)用的情況進(jìn)行分析，把現(xiàn)有解決方法歸納為五種模型；在此基礎(chǔ)上提出復(fù)合執(zhí)行模型，以解決動(dòng)態(tài)符號(hào)執(zhí)行中與外部環(huán)境交互情況下發(fā)生的外部函數(shù)調(diào)用問題；把程序運(yùn)行狀態(tài)分為具體數(shù)值運(yùn)行模式和符號(hào)執(zhí)行模式，完成兩種狀態(tài)下