import angr


project = angr.Project("./Darth_Vader", auto_load_libs=False)

initial_state = project.factory.full_init_state()
simgr = project.factory.simgr(initial_state)

FIND_ADDR = 0x0040199a
BAAD_ADDR = 0x00401968

simgr.explore(find=FIND_ADDR, avoid=BAAD_ADDR)

if simgr.found:
    solution_state = simgr.found[0]
    stdin_content = solution_state.posix.dumps(0)
    print(f"Found success input: {stdin_content}")