angr初使用（1）

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类型来显示结果