1、當今計算機技術的發(fā)展日新月異，軟件在我們的生活中扮演著水和電的重要角色。C語言作為一門廣泛應用的語言，已有40多年的歷史，它在系統(tǒng)軟件如操作系統(tǒng)、編譯器、數據庫等領域中仍然具著強勁的優(yōu)勢，在保持底層運行效率的同時，它也給程序員帶來一些負擔，程序員需要關注內存泄露、空指針和懸空指針解引用、緩沖區(qū)溢出等問題。
　　目前提高軟件可靠性和安全性的方法主要有程序驗證、動態(tài)測試和靜態(tài)分析。程序驗證目前還未實現完全的自動化證明，動態(tài)測試的精確性

2、和覆蓋率受到測試集的很大影響，且運行時的檢查成本和風險相對較高，靜態(tài)分析則是比較精確和經濟的手段。在靜態(tài)分析領域中，符號執(zhí)行被廣泛用于測試例的自動生成，它的主要思想是對代碼中變量的取值進行符號化，模擬執(zhí)行程序中所有可能的路徑，因此隨著程序中的控制結構變得越來越復雜，所需執(zhí)行的狀態(tài)數目將急劇增加，嚴重影響分析工具的伸縮性。針對狀態(tài)爆炸問題，本文提出了兩種在符號執(zhí)行的不同階段的優(yōu)化方法來緩解。
　　第一，使用針對缺陷的程序切片技術對被

3、測程序的中間表示做預處理。首先根據用戶關心的缺陷生成源程序的切片準則，然后分析源代碼生成數據依賴圖和控制依賴圖，由兩者共同構成程序依賴圖，再根據切片準則做程序切片，將源程序規(guī)?？s小，最后將切片后的程序交給程序分析工具分析。
　　第二，在符號執(zhí)行引擎執(zhí)行過程中對無副作用的控制結構做程序變換。在靜態(tài)分析工具執(zhí)行到某個函數時，先分析該函數的所有控制結構，如果某控制結構對程序的后續(xù)執(zhí)行沒有影響，則將該控制結構簡化，為了不影響分析精度，將工