符號執行-Angr實踐

關於Angr Angr是一個利用python開發的二進制程序分析框架，我們可以利用這個工具嘗試對一些CTF題目進行符號執行來找到正確的解答，即flag。當然，要注意的是符號執行的路徑選擇問題到現在依舊是一個很大的問題，換句話說也就是當我們的程序存在循環時，因爲符號執行會盡量遍歷所有的路徑，所以每次循環之後會形成至少兩個分支，當循環的次數足夠多時，就會造成路徑爆炸，整個機器的內存會被耗盡（我們這次分

>>阅读原文<<