https://zhuanlan.zhihu.com/p/25192237
https://www.anquanke.com/post/id/85039
http://bestwing.me/2017/03/08/angr-study/
https://github.com/a7vinx/angr-doc-zh_CN
0x01探索模板 import angr import claripy import sys def main(argv): path_to_binary = "15_angr_arbitrary_read" proj
0x15測試流程 設初始狀態: 設置hook函數,聲明要獲取輸入的變量 設置成功失敗狀態: 檢查運行到某一地址時內存數據的值,可以用copied_state = state.copy() 探測之後添加限制條件來檢查最終結果是