符號執行：利用Angr進行簡單CTF逆向分析

一、符號執行概括 簡單的來說，符號執行就是在運行程序時，用符號來替代真實值。符號執行相較於真實值執行的優點在於，當使用真實值執行程序時，我們能夠遍歷的程序路徑只有一條，而使用符號進行執行時，由於符號是可變的，我們就可以利用這一特性，儘可能的將程序的每一條路徑遍歷，這樣的話，必定存在至少一條能夠輸出正確結果的分支，每一條分支的結果都可以表示爲一個離散關係式，使用約束求解引擎即可分析出正確結果，這就是

>>阅读原文<<