<reponame>zhiyand/symbolic-execution-benchmark
import angr

p = angr.Project('../strcpy.o');

s = p.factory.blank_state()

init_state = p.factory.entry_state( args = [ "strcpy.o",  angr.StringSpec(sym_length=32, nonnull=True)], add_options={"BYPASS_UNSUPPORTED_SYSCALL"} )

pg = p.factory.path_group(init_state, immutable=False)

pg.explore()



