zoukankan      html  css  js  c++  java
  • angr初使用(1)

    angr是早在几年前就出来了的一款很好用的工具,如今也出了docker,所以想直接安个docker来跑一跑。

    docker pull angr/angr 。下载下来以后,进入docker ,这时并没有docker的运行环境的,需要使用su angr命令进入angr的用户才有相关的环境。

     1 import angr
     2 
     3 def main():
     4     p = angr.Project("elf")
     5     simgr = p.factory.simulation_manager(p.factory.full_init_state())
     6     simgr.explore(find=0x400123, avoid=0x400456)
     7 
     8     return simgr.found[0].posix.dumps(0).strip(b'
    ')
     9 
    10 if __name__ == '__main__':
    11     print(main())

    其规则为找到测试的程序,申请一个工厂类,然后制定规则,在哪里算是找到了,哪里是要避免的,然后将结果返回出来。dumps可以返回相应文件描述符的内容,因而要为0,得到stdin的输入。如果尝试打印出simulation_manager 的avoid,则可以看到字符串的演变过程

    上面这个是需要进行一次输入时的解决方法,对于命令行传参的,需要使用到claripy进行约束。

    使用claripy.BVS()创建位向量符号,claripy.BVV()创建位向量值

    使用方法为argv1 = claripy.BVS("argv1",32*8),argv1就是符号的名称,32*8就是32个字符,这样就生命了一个符号

     1 import angr
     2 import claripy
     3 
     4 
     5 def main():
     6     project = angr.Project("./elf")
     7     argv1 = claripy.BVS("argv1",32*8)
     8     init_state = project.factory.entry_state(args=["./elf",argv1])
     9     sm = project.factory.simulation_manager(init_state)
    10     sm.explore(find=0x400123) 
    11     return sm.found[0].solver.eval(argv1, cast_to=bytes)
    12 
    13 if __name__ == '__main__':
    14     print(main())
    cast_to=bytes是说要用char类型来显示结果
     
  • 相关阅读:
    验证guid()类型值的函数
    jquery时期到计时插件
    最简单快速的Apache二级域名实现方法
    线程和线程的常用方法
    Mobile WEB前端研发流程
    HTML5标莶使用初级技巧
    前端开发中常见的HTML5标签乱用案例
    iPad应用的10大用户体验设计准则
    移动平台3G手机网站前端开发布局技巧汇总
    分享HTML 5的参考手册,演讲稿,电子书和教程
  • 原文地址:https://www.cnblogs.com/61355ing/p/10523147.html
Copyright © 2011-2022 走看看