Copy

import angr
proj = angr.Project('./binary', auto_load_libs=False)
simgr = proj.factory.simgr()
simgr.explore(find=0x401234, avoid=0x401500)
print(simgr.found[0].posix.dumps(0))