st = p.factory.full_init_state(

      args=['./wyvern'],

      add_options=angr.options.unicorn,

      stdin=flag,

）

sm = p.factory.simulation_manager(st)

sm.run()