Tag List
Sign In

Simulation

Another binary cheesed by angr:

import angr

p = angr.Project("simulation")

st = p.factory.entry_state()

sm = p.factory.simulation_manager(st)

sm.use_technique(angr.exploration_techniques.DFS())
sm.explore(find=0x004041b4, avoid=(0x0040124c, 0x004041ca))

inp = sm.active[0].posix.dumps(0)
print(f"Valid input: {inp!r}")