angrgdb

Use angr dentro do GDB. Crie um estado angr a partir do estado atual do depurador.

Instalação

pip install angrgdb
echo "python import angrgdb.commands" >> ~/.gdbinit

Uso

angrgdb implementa a API do angrdbg no GDB.

Você pode usá-lo em scripts como este:

from angrgdb import *

gdb.execute("b *0x004005f9")
gdb.execute("r aaaaaaaa")

sm = StateManager()
sm.sim(sm["rax"], 100)

m = sm.simulation_manager()
m.explore(find=0x00400607, avoid=0x00400613)

sm.to_dbg(m.found[0]) #write input to GDB

gdb.execute("x/s $rax")
#0x7fffffffe768:	"ais3{I_tak3_g00d_n0t3s}"
gdb.execute("c")
#Correct! that is the secret key!

Você também pode usar comandos angrgdb diretamente no GDB para coisas simples:

• angrgdb sim <register name> [size] Simbolizar um registrador
• angrgdb sim <address> [size] Simbolizar uma área de memória
• angrgdb list Listar todos os itens que você definiu como simbólicos
• angrgdb find <address0> <address1> ... <addressN> Definir a lista de alvos find
• angrgdb avoid <address0> <address1> ... <addressN> Definir a lista de alvos avoid
• angrgdb reset Redefinir o contexto (valores simbólicos e alvos)
• angrgdb run Gerar um estado a partir do estado do depurador e executar a exploração
• angrgdb shell Abrir um shell com uma instância de StateManager criada a partir do estado atual do GDB
• angrgdb interactive Gerar um estado a partir do estado do depurador e explorar manualmente usando uma versão modificada do angr-cli

Um exemplo de resolução de crackme usando angrgdb+GEF+idb2gdb:

Carregando scripts no GDB

Esta é uma dica se você não quiser usar angrgdb a partir da linha de comando, mas quiser usar um script python. Para carregar um script no GDB use source script.py.

TODO

• adicionar angrdbg remoto como no IDAngr

Citar

Tese PDF.

Bibtex:

@misc{fioraldi2020symbolic,
    title={Symbolic Execution and Debugging Synchronization},
    author={Andrea Fioraldi},
    year={2020},
    eprint={2006.16601},
    archivePrefix={arXiv},
    primaryClass={cs.CR}
}