利用動態(tài)污點跟蹤優(yōu)化模糊測試的方法-文庫吧
2025-09-08 11:03 本頁面
【正文】 考慮，忽略 了測試用例在被測端的執(zhí)行 效果。 ? 為解決大量冗余測試用例的 問題，借助 污點傳播路徑相似度比對方法過濾掉冗余 測試用例，生成 有效測試用例 集。 論文題目：利用動態(tài)污點跟蹤優(yōu)化模糊測試的方法 報告人：華中科技大學(xué) 趙斌 6 污點跟蹤 ? 污點初始化 :二進制程序不外界進行數(shù)據(jù)交換是借助系統(tǒng)調(diào)用完成的 ,所以通過監(jiān)控系統(tǒng)調(diào)用 ,獲取接受函數(shù)數(shù)據(jù)緩沖區(qū) ,然后將緩沖區(qū)中的數(shù)據(jù)標記在影子內(nèi)存中 ,從而實現(xiàn)污點初始化 . ? 指令執(zhí)行分析 :機器指令的操作數(shù)中含有污點 ,如果指令執(zhí)行中污點復(fù)制到其它存儲單元就會發(fā)生污點傳播 ,如果指令執(zhí)行后污點被設(shè)置為空就會發(fā)生污點清除 ,所以通過獲取指令執(zhí)行的情冴 ,可以判斷污點的 狀態(tài)。 ? 污點 傳播路徑的生成 :通過對指令執(zhí)行的分析 ,將發(fā)生污點傳播不清除的指令按序記錄在日志文件中 ,從而生成污點傳播路徑 . 論文題目：利用動態(tài)污點跟蹤優(yōu)化模糊測試的方法 報告人：華中科技大學(xué) 趙斌 7 污點跟蹤 ? 根據(jù)對 Intel x86機器指令的分析 ,將可能導(dǎo)致污點傳播不清除的機器指令分成三 類 ? 一 是數(shù)據(jù)移動指令 ,包括 mov、 cmov、 movsz、 movzx、 repmovs、 lods、 stos、push、 pop、 pushad、 popad、 pushfd、 popfd等； ? 二 是算術(shù)運算指令 ,包括 add、 sub、 mul、 div、 and、 or、 xor等； ? 三 是特殊指令 ,包括 call、 leave等。 論文題目：利用動態(tài)污點跟蹤優(yōu)化模糊測試的方法 報告人：華中科技大學(xué) 趙斌 8 計算 ? 原理 :將污點傳播路徑中的每條指令進行排列后 ,形成一個數(shù)組 ,記為 : ，然后 在 對數(shù)組 Seq提取 特征值，記 為 p。如果 有兩個污點傳播路徑數(shù)組的特征值 p1和 p2，可以 定義相似性公式為 :similarity=sim(
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1