符號執行，即使用符號值代替真實值執行，是當下較為火的方向之一，在軟體測試等領域有很好的套用前景，目前學術研究已經相對成熟，很多企業以及科研機構都在積極嘗試將符號執行技術用於產品中。
基本介紹
- 中文名：符號執行
- 外文名：symbolic execution
符號執行根據發展狀況可以分為傳統的符號執行、動態符號執行和選擇性符號執行。
傳統的符號執行並不真實的執行，而是通過解析程式通過符號值模擬執行。
動態符號執行結合了真實執行和傳統符號執行技術的優點，在真實執行的過程中同時進行符號執行。
選擇性符號執行可以對程式設計師感興趣的部分進行符號執行，其它的部分使用真實值執行，代表工具S2E。
