如何应对C++程序
angr只实现了C库,所以应对C++程序,需要使用full_init_state方法,并设置unicorn引擎。csaw_wyvern
full_init_state
unicorn
并且这个过程相对于C通常会更长
st = p.factory.full_init_state( args=['./wyvern'], add_options=angr.options.unicorn, stdin=flag, ) sm = p.factory.simulation_manager(st) sm.run()