Angr

模塊

注意事項

應用

逆向分析

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

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

AEG

參見 AEG

例題

參見


AEG Symbolic Execution SMT