標準入力にBVSを流す
#angr
state = p.factory.entry_state(args=
p.filename
, stdin=flag)
でよし
案外どこにも載ってないので困った