第1章 程序分析技術(shù)
1.1 程序的正確性及其分析
1.2 控制流分析
1.2.1 控制流圖
1.2.2 程序依賴圖
1.2.3 系統(tǒng)依賴圖
1.3 數(shù)據(jù)流分析
1.3.1 數(shù)據(jù)流分析概述
1.3.2 可達定義分析
1.3.3 活性變量分析
本章小結(jié)
第2章 符號執(zhí)行技術(shù)
2.1 符號執(zhí)行概述
2.2 傳統(tǒng)符號執(zhí)行
2.3 混合符號執(zhí)行
2.4 符號執(zhí)行技術(shù)面臨的挑戰(zhàn)
2.4.1 內(nèi)存相關(guān)問題
2.4.2 環(huán)境相關(guān)問題
2.4.3 路徑 問題
2.4.4 約束求解問題
2.5 符號執(zhí)行工具
2.5.1 KLEE
2.5.2 SPF
2.5.3 SAGE
2.5.4 SymCC
本章小結(jié)
第3章 軟件測試與錯誤定位技術(shù)
3.1 軟件測試與錯誤定位的研究背景
3.1.1 軟件測試
3.1.2 軟件錯誤定位
3.2 基于符號執(zhí)行的軟件測試
3.2.1 摘要計算
3.2.2 路徑包含與等價分析
3.2.3 約束不充分的符號執(zhí)行
3.2.4 前置條件與輸入特征利用
3.2.5 符號執(zhí)行狀態(tài)合并
3.2.6 程序分析及優(yōu)化技術(shù)
3.2.7 目標導向與啟發(fā)式策略
3.2.8 增量符號執(zhí)行
3.2.9 并行符號執(zhí)行
3.3 軟件錯誤定位方法
3.3.1 基于切片的錯誤定位
3.3.2 基于程序狀態(tài)的錯誤定位
3.3.3 基于統(tǒng)計分析的錯誤定位
3.3.4 基于人工智能的錯誤定位
3.3.5 演化軟件錯誤定位
本章小結(jié)
第4章 基于執(zhí)行路徑的 弱前置條件計算
4.1 弱前置條件概述
4.2 弱前置條件計算