Angr学习（6）

最新推荐文章于 2024-05-08 11:54:18 发布
最新推荐文章于 2024-05-08 11:54:18 发布
阅读量384 收藏 1
点赞数 3
文章标签： 安全
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/Misaka10046/article/details/109213723
版权

explore

首先介绍下stash，stash用来保存程序的运行路径，形成数组，我们也能通过指令去访问。

>>> proj = angr.Project('/home/fivefiveopen/Desktop/angr/r100' )
>>> state = proj.factory.entry_state()
>>> simgr = proj.factory.simgr()
>>> simgr.active
[<SimState @ 0x400610>]
>>> simgr.step()
<SimulationManager with 1 active>
>>> simgr.active
[<SimState @ 0x4005d0>]
>>> simgr.move(from_stash = 'deadended',to_stash = 'authenticated',filter_func = lambda s:'Nice' in simgr.posix.dump(1))
<SimulationManager with 1 active>//使用move使stash移动，可以通过要求将状态移入某个新的stash的方法来创建一个新的stash
>>> simgr.explore(find = lambda s:'Nice' in s.posix.dumps(1))//explore来找到符合我们要求的stash，比如这个是标准输出出现Nice,当然也能用指定地址的那种
<SimulationManager with 1 found, 10 deadended, 4 active>
>>> simgr.found[0]
<SimState @ 0x40084e>
>>> simgr.found[0].posix.dumps(1)
'Enter the password: Nice!\n'
>>> simgr.found[0].posix.dumps(0)
'Code_Talkers\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\xf5\x00'

除了explore这种方法以外还有一些其他的探索方法也能用，比如DFS，深度优先搜索，每次只同时保持一个运行。

断点

同样angr也支持给程序下断点

>>> state.inspect.b("mem_write",when = angr.BP_AFTER,action = angr.BP_IPYTHON)
<BP after-action with conditions {}, no condition func, with action func>

下断点的类型

类型含义
mem_read内存正在被读取
mem_write内存正在被写
reg_read寄存器正在被读
reg_write寄存器正在被写
tmp_read一个临时值（立即数？）正在被读
temp_write一个临时值正在被写
expr一个表达式正在被建立（比如一次数学计算的结果，或者IR中的常量（a constant in the IR））
statement一个IR statement正在被解释执行(translate)
instruction一个新的（本地native）指令正在被解释执行
lrsb一个新的基本块正在被解释执行
constraints一个新的约束正在被加入某个状态中
exit一个继承状态正由一次执行中产生
symbolic_variable一个新的符号变量正在被创建
call一个call指令正在被执行
address_concretization一个符号化的内存值正在被解析

对于不同事件对应的不同的条件

事件类型属性名适用的时机属性含义
mem_readmem_read_addressBP_BEFOR 或 BP_AFTER正在被读取的内存的地址
mem_readmem_read_lengthBP_BEFOR 或 BP_AFTER读取的内存的长度
mem_readmem_read_exprBP_AFTER地址中的表达式
mem_writemem_write_addressBP_BEFOR 或 BP_AFTER正在被写入的内存地址
mem_writemem_write_lengthBP_BEFOR 或 BP_AFTER写入内存的长度
mem_writemem_write_exprBP_BEFOR 或 BP_AFTER写入内存的表达式
reg_readreg_read_offsetBP_BEFOR 或 BP_AFTER被读取的寄存器的偏移
reg_readreg_read_lengthBP_BEFOR 或 BP_AFTER被读取寄存器的值的长度
reg_readreg_read_exprBP_BEFOR 或 BP_AFTER被读取的寄存器中的表达式
reg_writereg_write_lengthBP_BEFOR 或 BP_AFTER被写入寄存器数据的长度
reg_writereg_write_exprBP_BEFOR 或 BP_AFTER被写入寄存器的表达式
tmp_readtmp_read_numBP_BEFOR 或 BP_AFTER被读入的临时值的长度
tmp_readtmp_read_exprBP_AFTER被读入的临时表达式
tmp_writetmp_write_numBP_BEFOR 或 BP_AFTER被写入临时值的数
tmp_writetmp_write_exprBP_AFTER被写入临时值的表达式
exprexprBP_AFTER表达式的值
statementstatementBP_AFTER 或BP_BEFOR IR在其所在的基本块中的索引值（即断在当前基本块中的索引值）
instructioninstructionBP_BEFORE 或 BP_AFTER本地指令的地址
irsbaddressBP_BEFORE 或 BP_AFTER基本块地址
constraintsadded_constraintsBP_BEFORE 或 BP_AFTER被加入的约束的列表
callfunction_addressBP_BEFORE 或 BP_AFTER被调用的函数名
exitexit_targetBP_BEFORE 或 BP_AFTER代表SimExit的目标的表达式
exitexit_guardBP_BEFORE 或 BP_AFTER代表SimExit的限制的表达式
exitjumpkindBP_BEFORE 或 BP_AFTER代表SimExit的种类的表达式
symbolic_variablesymbolic_nameBP_BEFORE 或 BP_AFTER正在被创建的符号变量的名字。解析引擎可能改变这个名字（通过在后面添加唯一的ID和长度）。检查symbolic_expr来得到最终的符号表达式
symbolic_variablesymbolic_sizeBP_BEFORE 或 BP_AFTER正在被创建的符号变量的长度
symbolic_variablesymbolic_exprBP_AFTER代表新的符号变量的符号表达式
address_concretizationaddress_concretization_strategyBP_BEFORE 或 BP_AFTER被用于解析地址的SimConcretizationStrategy。断点处理函数可以改变将要被应用于解析当前地址的策略。如果你的断点处理函数被置为None，这个策略就会被忽略
address_concretizationaddress_concretization_actionBP_BEFORE 或 BP_AFTER用于记录内存操作的SimAction对象
address_concretizationaddress_concretization_memoryBP_BEFORE 或 BP_AFTER被操作的SimMemory对象
address_concretizationaddress_concretization_exprBP_BEFORE 或 BP_AFTER代表正在被解析的地址的AST。断点处理函数可以改变这个来影响正在被解析的地址
address_concretizationaddress_concretization_add_constraintsBP_BEFORE 或 BP_AFTER约束是否应该别加入到这次读取中
address_concretizationaddress_concretization_resultBP_AFTER被解析的地址列表(整型数)。断点处理函数可以覆盖这个来产生不同的解析结果。

差不多Angr的基础功能就差不多了，感觉其他的功能也不怎么会用到。可以着手去用Angr搞点好玩的了，实践实践，多运用下。

感谢v1gor大佬的翻译文档

0xwangliang
关注
  • 3
    点赞
  • 踩
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
angr源码分析——SimState
doudoudouzoule的博客
02-27 1625
在最初分析angr的符号执行流程时，我们首先介绍了angr中claripy的应用代码，如下：import angr, claripy b = angr.Project('/bin/true') path = b.factory.path() rax_start = claripy.BVS('rax_start', 64) path.state.regs.rax = rax_star...
程序分析理论-angr
05-08
论文（State of）The Art of War: Offensive Techniques in Binary Analysis介绍ppt
Angr_Tutorial_For_CTF:ctf的angr教程
04-30
Angr_Tutorial_For_CTF angr是一个非常有用的二进制分析框架。 许多ctfer喜欢使用angr节省他们在CTF中的时间。 但是，对于初学者来说，angr有点困难，因为它从版本7更新到了版本8。而且许多CTF中有关angr的出色教程都无法正常运行。 我根据此幻想教程 ， 和，使用此git repo记录了我对angr的学习经验。 非常感谢他们。 我希望我能继续一段时间并在将来熟悉angr。 安装 我使用pypy以更快的方式运行angr。 这是我的安装说明。 conda create -n angr # a clean environment conda activate angr conda install -c conda-forge pypy3.6 wget https://bootstrap.pypa.io/get-pip.py pypy3 get-pip.py
ANGR初识
无痕的博客
11-01 298
angr理论知识
Angr：Simulation Managers
sunrise19960110的博客
06-19 615
原文链接：https://docs.angr.io/core-concepts/pathgroups
【扩展angr】自定义exploration_technique
^_^
08-23 302
在angr文档里发现writing exploration technique的部分是空的。然后，恰好看到一篇博客讲了如何控制符号执行的资源消耗，看到里头的代码是基于自定义exploration technique来实现的。 如果对于如何控制符号执行的内存消耗感兴趣可以看这篇博客： https://degrigis.github.io/posts/explosion_detector/ 先来看看他的例子，这个代码的思路是利用psutil获取进程占用的内存信息。如果占用的内存超出了设定的最大内存值，则将a
Angr源码分析——Explorer 技术及ExplorationTechnique机制简单解析
zhuzhuzhu22的博客
06-25 1769
本博客由闲散白帽子胖胖鹏鹏胖胖鹏潜力所写，仅仅作为个人技术交流分享，不得用做商业用途。转载请注明出处，未经许可禁止将本博客内所有内容转载、商用。          我们在使用Angr分析代码的时候，最常用的功能应该是Simulation Manager的explore()功能了，这个函数能够很方便的让Angr搜索到我们想要的state，并且求出运行到该state所需的约束条件。那今天，我们来分析一...
符号执行入门
热门推荐
omnispace的博客
05-09 2万+
0x00 前言此前阅读了AEG相关的一些文章，发现符号执行可以说是基石，如果不能充分理解符号执行就很难真正深入AEG的研究。于是我找了一些符号执行领域的经典论文，预计会做一系列的总结，主要包括以下几个内容：（1）符号执行的基本概念；（2）符号执行的分类与发展；（3）符号执行面临的挑战和解决方案。本文主要介绍关于符号执行的基本概念。对于符号执行入门，有两篇文章可以参考。其一是2010年David B...
Angr学习笔记
派大星的博客
03-15 490
angr是一个用于分析二进制文件的python框架。它专注于静态和符号分析，使其适用于各种任务。项目地址：https://github.com/angr今天简单练习了angr_ctf的前六道题，感觉angr比我想象中的要强大，但是使用angrangr实际上是一种路径探索的方法，在处理分支时，采取统统收集的策略，因此每当遇见一个分支，angr的路径数量就会乘2，这是一种指数增长，也就是所说的路径爆炸。执行上很像BFS，一旦分支过多，angr。
angr与Shellphish
12-26
对angr和Shellphish框架优缺点的简单梳理和总结
符号执行angr解ctf逆向题组
12-28
从解ctf逆向题目学习符号执行，如果你想玩它们，看看package.py,
angr：一个功能强大且用户友好的二进制分析平台！
02-24
愤怒 angr是一个与平台无关的二进制分析框架。 它由 ，其相关的CTF团队， ，开源社区和。什么？ angr是一套Python 3库，可让您加载二进制文件并对它做很多有趣的事情： 拆卸和中间表示提升程序检测符号执行控制流...
angr原理与实践（二）—— 各类图的生成（CFG CG ACFG DDG等）
qq_40229814的博客
09-07 5029
使用angr制作程序分析必备的分析图，以供漏洞检测等网络安全研究应用
angr原理与实践（一）——原理
qq_40229814的博客
07-15 1835
angr是加州大学圣巴巴拉分校GiovanniVigna大佬领衔的安全实验室的杰作，对应的论文发表在2016年的网络安全顶会IEEES&P上，原论文链接在这以上是angr的核心技术实现的介绍，可以说我这篇博文介绍的还是比较浅显，因为从某种程度上来说，我只是在原论文翻译的基础上，添加了一点我的理解以及别人的理解，后面的我的部分博文将会针对部分angr的核心技术，进行相应的基础知识介绍，以方便能理解angr是个多么伟大的工作。...
符号执行之angr学习-初识angr
water_likly的博客
03-08 1654
一 参考 安装好了angr后，如何利用angr来完成自己的工作，实现程序分析是个大问题。我参考了一些技术人员的博客，能稳定介绍这个工具的人不是很多，不过还是让我找到了几个：（转载请注明出处） https://blog.csdn.net/zhuzhuzhu22/article/details/80350441 https://blog.csdn.net/doudoudouzoule/artic...
Angr源码分析——SimState类
zhuzhuzhu22的博客
05-23 1608
本博客由闲散白帽子胖胖鹏鹏胖胖鹏潜力所写，仅仅作为个人技术交流分享，不得用做商业用途。转载请注明出处，未经许可禁止将本博客内所有内容转载、商用。0x00 官方API说明和SimState的构建函数       在前面一篇博客中，我们介绍了Angr的一种简单地使用方法。再接下来的几天中，我阅读了Angr的部分源码，包括factory类、Angr.Project类（新建工程的过程）、cle.Loade...
angr尝试
九层台
12-16 650
中文简介添加链接描述 但是官方github上的pdf文档介绍的更详细。 测试了一下中文简介的内容大概就这些，只是测试加上个人理解，不一定正确不喜勿喷 #coding=utf-8 import angr b=angr.Project("./level2") print (hex(b.entry)) #程序的载入地址 print hex(b.loader.min_addr), hex(b.loa...
Angr实例分析——strcpy_find续
zhuzhuzhu22的博客
06-04 832
      上周看到Angr代码有些迷茫，因为自己的毕业设计需要使用到Angr所以才开了Angr源码分析这个坑，但是呢，我发现读源码的+官方API的方式学习效率太低了，思来想去还是从工程实际入手可能会快一点。后续更新可能没有之前那么快了（因为毕设的内容不好公开写到博客里，毕竟我要毕业嘛），但是我一旦找到想和大家分享的内容，会第一时间更新到博客里的。同时可能会穿插着找工作时候的算法题和代码（马上就要...
绿盟之旅——一段安全实习结束
最新发布
carrot11223的博客
05-08 351
去年，因为着急找实习，拿着简历就开始海投，当时想的是有人让我去就谢天谢地了，第一个约我面试的就是绿盟，也很顺利的通过了面试，当时让我选择在上海还是北京，我选择的是上海，因为学校在上海，结果到上海才知道我是隶属于北京总部，但是在上海办公的，这样，大多数时候就只能远程办公了，导师至今没见过，领导也只见过一面。
angr框架reverse
10-16
angr框架是一个二进制分析工具，可以用于逆向工程、漏洞挖掘、恶意代码分析等领域。它可以自动化地执行二进制程序，并对程序进行符号执行，以便找到程序的漏洞或者执行路径。在使用angr框架时，需要先将二进制程序...

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值