angr是早在几年前就出来了的一款很好用的工具,如今也出了docker,所以想直接安个docker来跑一跑。
docker pull angr/angr 。下载下来以后,进入docker ,这时并没有docker的运行环境的,需要使用su angr命令进入angr的用户才有相关的环境。
import angr def main():
p = angr.Project("elf")
simgr = p.factory.simulation_manager(p.factory.full_init_state())
simgr.explore(find=0x400123, avoid=0x400456) return simgr.found[0].posix.dumps(0).strip(b'\0\n') if __name__ == '__main__':
print(main())
其规则为找到测试的程序,申请一个工厂类,然后制定规则,在哪里算是找到了,哪里是要避免的,然后将结果返回出来。dumps可以返回相应文件描述符的内容,因而要为0,得到stdin的输入。如果尝试打印出simulation_manager 的avoid,则可以看到字符串的演变过程
上面这个是需要进行一次输入时的解决方法,对于命令行传参的,需要使用到claripy进行约束。
使用claripy.BVS()
创建位向量符号,claripy.BVV()
创建位向量值
使用方法为argv1 = claripy.BVS(“argv1”,32*8),argv1就是符号的名称,32*8就是32个字符,这样就生命了一个符号
import angr
import claripy def main():
project = angr.Project("./elf")
argv1 = claripy.BVS("argv1",32*8)
init_state = project.factory.entry_state(args=["./elf",argv1])
sm = project.factory.simulation_manager(init_state)
sm.explore(find=0x400123)
return sm.found[0].solver.eval(argv1, cast_to=bytes) if __name__ == '__main__':
print(main())
cast_to=bytes是说要用char类型来显示结果