Angr - Examples

reversing angr

Farklı girdi modelleri (stdin, argv, dosya) için hazır angr kalıpları. Adresleri kendi binary’ne göre değiştir.

Metodoloji

1. Girdi kanalını belirle (stdin/argv/file).

2. Uygun state fabrikasını kur.

3. find/avoid veya stdout condition ile explore et.

4. Solution’ı verify için native binary’ye ver.

Argv

import angr,claripy
p=angr.Project('./crackme',auto_load_libs=False)
arg=claripy.BVS('arg',8*16)
st=p.factory.entry_state(args=['./crackme',arg])
for b in arg.chop(8):
    st.solver.add(b>=0x20,b<=0x7e)
sm=p.factory.simulation_manager(st)
sm.explore(find=0x400000+0x1234)
print(sm.found[0].solver.eval(arg,cast_to=bytes))

File input

import angr,claripy
p=angr.Project('./crackme',auto_load_libs=False)
data=claripy.BVS('f',8*64)
st=p.factory.entry_state()
fname=angr.SimFile('/tmp/in',content=data,size=64)
st.fs.insert('/tmp/in',fname)
sm=p.factory.simulation_manager(st)
sm.explore(find=0x401234)
print(sm.found[0].solver.eval(data,cast_to=bytes))

Hook / skip

import angr
p=angr.Project('./crackme',auto_load_libs=False)
@p.hook(0x401000)
def skip_sleep(state):
    state.regs.rip=0x401010
sm=p.factory.simulation_manager()
sm.explore(find=0x401234)
print(sm.found[0].posix.dumps(0))

Verify

./crackme "$(python3 solve.py)"

python3 solve.py | ./crackme

Checklist

[ ] girdi modeli doğru seçildi
[ ] explore bulundu (found>0)
[ ] native verify geçti