defcon2016 - [rev]baby-re

import angr
 
proj = angr.Project("./baby-re", load_options={'auto_load_libs':False})
path_group = proj.factory.path_group(threads=4)
path_group.explore(find=0x40294b, avoid=0x402941)
print path_group.found[0].state.posix.dumps(1)
 
 

path_group.explore(find=0x40294b, avoid=0x402941) 는 0x40294b로 가는대 0x402941 여기를 피해 가라는 의미이다.