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

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

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

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