Angr

模塊

• Loader
• Factory
• Analyses

注意事項

• 採用 ghidra 或其他逆向工具時，請務必確認 base address， 使 sm.explore() 可以正常運行。可以參見 CLE 加載器。

應用

逆向分析

AngryGhidra 直接搭配 ghidra 使用，安裝方法請見 github

如果配置上有問題請見 ghidra 筆記

AEG

參見 AEG

例題

• ais3-club-2020 flag_checker (Surveyors)

參見

• 編寫 angr 腳本初體驗
• Top Level Interfaces

---

AEG Symbolic Execution SMT