基于選擇性符號(hào)執(zhí)行的補(bǔ)丁驗(yàn)證.pdf

1、正確并高效地進(jìn)行補(bǔ)丁驗(yàn)證對(duì)提高軟件質(zhì)量及程序員生產(chǎn)效率至關(guān)重要。使用靜態(tài)分析的方法可以在程序不執(zhí)行的情況下檢測(cè)出程序中可能存在的部分錯(cuò)誤;同時(shí),動(dòng)態(tài)符號(hào)執(zhí)行可以自動(dòng)生成高覆蓋率的測(cè)試用例。然而由于這兩種方法都受限于程序的規(guī)模,沒(méi)有很好的擴(kuò)展性。事實(shí)上,對(duì)于大型程序這兩者并不適用,一般只能作為質(zhì)量保證的輔助方法。工業(yè)界通常使用大量的測(cè)試用例來(lái)降低產(chǎn)品中代碼出錯(cuò)的可能性。然而這樣的驗(yàn)證的過(guò)程緩慢,并且往往是不完整的。
　　程序演化過(guò)程

2、中經(jīng)常需要修復(fù)程序中的錯(cuò)誤。一般而言,補(bǔ)丁相對(duì)于錯(cuò)誤發(fā)生處是局部的、通常很小,并且很少涉及程序的核心語(yǔ)義的改變。本文基于這一觀察,展示了一種結(jié)合靜態(tài)分析手段和動(dòng)態(tài)符號(hào)執(zhí)行的新方法,具有較好的擴(kuò)展性。其基本的思想是通過(guò)靜態(tài)分析的方式大幅度削減不相關(guān)的路徑和程序語(yǔ)句,由此將待驗(yàn)證的程序范圍局部化,進(jìn)而添加符號(hào)變量語(yǔ)義和符號(hào)執(zhí)行的驅(qū)動(dòng)程序,最終通過(guò)標(biāo)準(zhǔn)的動(dòng)態(tài)符號(hào)執(zhí)行引擎對(duì)之進(jìn)行詳盡的測(cè)試。
　　本文在開(kāi)源編譯器框架LLVM、符號(hào)執(zhí)行引擎