S2E選擇性符號(hào)執(zhí)行

S2E的全文是：Selective Symbolic Execution，即選擇性符號(hào)執(zhí)行。

符號(hào)執(zhí)行的過(guò)程可以理解為：以符號(hào)值代替程序的具體值輸入，并且以符號(hào)操作代替程序執(zhí)行過(guò)程中相應(yīng)的具體操作。根據(jù)其分析范圍，符號(hào)執(zhí)行可分為：過(guò)程內(nèi)分析和過(guò)程間分析。過(guò)程內(nèi)分析只分析單個(gè)過(guò)程的代碼；而過(guò)程間分析則分析整個(gè)軟件代碼的上下文敏感信息，包括：當(dāng)前函數(shù)的入口點(diǎn)、函數(shù)之間的調(diào)用信息以及環(huán)境信息等等。選擇性符號(hào)執(zhí)行是在符號(hào)執(zhí)行的基礎(chǔ)上添加約束條件，對(duì)測(cè)試人員感興趣的執(zhí)行路徑進(jìn)行選擇，目的是降低分析的開(kāi)銷(xiāo)，提高分析的效率。