r2.py

#unicorn quiling z3 r2pipe angr claripy kaitai frida lief
import r2pipe

r2 = r2pipe.open("./ch12", [
    "-d",
    "-R", "stdin=./input", # cat > input
    "-R", "stdout=./output", # while true; do cat input; done;
])

result_1 = 0x805637a

r2.cmd("db 0x{:08X}".format(result_1))

for i in range(8000):
    r2.cmd("dc")
    #ptr = r2.cmdj("arj~{ebx}")
    print(r2.cmdj("arj~{eax}"))
    #print(r2.cmdj("s {}; pxj 1".format(ptr)))