reversing.py

#Code by sqrtrev@WreckTheLine
import angr

def main():
    p = angr.Project("reversing")
    simgr = p.factory.simulation_manager(p.factory.full_init_state())
    simgr.explore(find=lambda s:b'correct' in s.posix.dumps(1))

    return simgr.found[0].posix.dumps(0)

if __name__ == '__main__':
    print(main())