符號執行綜述

原文 A Survey of Symbolic Execution Techniques 目錄   1. 介紹 1.1 例子 1.2 挑戰 1.3 相關工作 1.4 文章的組織 2. 符號執行引擎 2.1 混合符號和具體執行 2.2 符號執行的設計原則 2.3 路徑選擇 2.4 回溯符號執行 Symbolic Backward Execution 3. 內存模型 3.1 完全符號化內存 3.2 地

>>阅读原文<<