angr源码分析——Simulation Manager

最新推荐文章于 2024-01-22 10:03:20 发布
最新推荐文章于 2024-01-22 10:03:20 发布
阅读量1.7k 收藏 2
点赞数 2
CC 4.0 BY-SA版权
分类专栏： 物联网 漏洞挖掘
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.youkuaiyun.com/doudoudouzoule/article/details/79467268
angr的Simulation Manager负责管理符号执行的多个状态，组织成stashes进行操作。它允许多线程处理约束，支持step()、explore()等方法推进状态，并使用Exploration Techniques进行定制化探索。Simulation Manager在程序路径分析中起到关键作用，通过Step Functions和Successors处理状态变化。

摘要生成于 C知道 ，由 DeepSeek-R1 满血版支持， 前往体验 >

angr中符号执行涉及的代码比较多，前面已经介绍了符号执行中获取程序状态的类factory，以及状态对象SimState涉及到的属性，方法，插件，下面将介绍关于符号执行路径探索的主要对象Simulation Manager。

代码位于：angr/angr/manager.py

angr.manager.SimulationManager(project, active_states=None, stashes=None, hierarchy=None, veritesting=None, veritesting_options=None, immutable=None

最低0.47元/天 解锁文章

200万优质内容无限畅学
angr源码分析——Simulation Engines
doudoudouzoule的博客
03-12 1240
为什么研究这个类呢？原因是在对程序进行模拟执行时，step()调用的实际上就是project.factory.successors()函数，而这个函数代码为 def successors(self, *args, **kwargs): """ Perform execution using any applicable engine. Enumerate th...
angr源码分析——angr.Project类
doudoudouzoule的博客
02-19 2319
使用angr时，第一行语句就是：b = angr.Project('path/bin_file_name')该代码调用的为Project类的构造函数_init_()。Project类是angr模块的主类，它对一个二进制文件进行初始的分析以及参数配置，并将数据存储起来进行后续进一步分析。构造函数参数：angr.project.Project(thing, default_analysis_mode=...
Angr源码分析——DDG的生成
zhuzhuzhu22的博客
01-09 2044
本博客由闲散白帽子胖胖鹏鹏胖胖鹏潜力所写，仅仅作为个人技术交流分享，不得用做商业用途。转载请注明出处，未经许可禁止将本博客内所有内容转载、商用。       上一篇博客我们分析了DTaint这篇论文是如何进行静态分析的，同时我注意到论文中说Angr的DDG很慢，我们这次来看一下Angr的DDG是如何生成的，对比一下两者的方法，看下是由于代码问题造成的还是由于方法造成的。 首先看下Angr中对D...
angr源码分析——claripy ，factory
doudoudouzoule的博客
02-25 3560
claripy是一个符号求解引擎，大多数时候，我们只是简单使用claripy，然而当我们做一些核心的符号执行分析时，则不得不深入claripy api，了解其实现细节及处理逻辑，从而进行改进。就我目前对符号执行的理解而言，在使用符号执行解决问题时，首先要提供符号变量，然后提供求解路径，提供求解器，最终求解出结果。那么在angr中如何定义以及初始化这些参数和变量的呢？这是此次源码分析要解决的一个问题...
angr源码分析——BackwardSlice
doudoudouzoule的博客
05-10 2838
BackwardSlice 程序反向切片，从给出的某一个目标点，获取所有到达该目标点的路径。angr的这个功能似乎并不完善，里面可以自己进行定制。在进行程序切片前，我们需要提供一个控制流图CFG。此外，为了确定程序反向的起始点，还需要提供一个target。下面是angr文档中给出的一个例子：>>> import angr # Load the project >>&g...
angr源码分析——数据依赖图 DDG
doudoudouzoule的博客
06-13 3554
由于官方文档中关于数据依赖图(DDG)的说明少之又少，所以这是一篇对angr构造数据依赖图由浅入深的分析博客。下面就开始吧。DDG的使用案例：#先加载一个二进制文件，选择符号分析模式 proj = angr.Project(binary_path,load_options={'auto_load_libs': False},default_analysis_mode='symbolic') #利用...
angr源码分析——库函数识别identify
doudoudouzoule的博客
08-09 3134
在识别代码的同源性时，多数情况下采用的方法是依赖于代码本身的数据特征例如Flirt技术的前32位字节码，函数crc；diaphora的fuzzing hash等。而在二进制代码中，不同的编译环境或库版本都会对最终生成的库函数的代码带来巨大的变化，导致依赖于数据特征的库函数识别技术识别率极低，或者干脆无用。那么此时为了识别一个函数我们需要依赖的就是函数的语义。 函数语义代表这个函数做了什么，而不是...
angr源码分析——CFGAccurate and Function Manager
doudoudouzoule的博客
05-06 3186
angr的控制流图恢复可以分为两种，一种是CFGAccurate，一种是CFGFast。关于它们的介绍，在我以前的一篇《自动化二进制分析技术》中有所提及，为了方便代码的理解，我把这部分内容再次放在本文的后面了。所以，如果你对控制流恢复一窍不通的话，可以跳到最后 控制流图恢复 部分先了解理论。angr通过执行每一个基本块并观察基本块的执行流向来构造CFG。然而，在不同的上下文中基本块的流向将不同。如...
angr-analysis:angr原始代码分析
03-23
分析 框架分析 angr的大体框架和接口的分析 原始注释分析 angr的文件 对analysis的cfgfast模块 （CFGfast.py，CFGbase.py，CFGfast.py，forward_analysis.py） project factory simmanage simstate simengine simvex sim_procedure exploration_techniques state_plugins进行了注释分析 cle文件 对loader.py进行了注释分析 清晰度文件 对ast里面的bv.py，init.py，operations.py进行了注释分析 司钻 对local_callback.py和driller_main.py进行了注释分析 勘探技术 explore trace driller_core crash_monitor.py veritestin
Angr实例分析——fauxware
zhuzhuzhu22的博客
05-24 1310
本博客由闲散白帽子胖胖鹏鹏胖胖鹏潜力所写，仅仅作为个人技术交流分享，不得用做商业用途。转载请注明出处，未经许可禁止将本博客内所有内容转载、商用。      在阅读Angr的gitbook的时候，作者超喜欢用fauxware举例，同时也是因为fauxware比较简单，我们由浅入深，逐步学习Angr的使用。代码位置在https://github.com/angr/angr-doc/tree/maste...
angr源码分析——cle.Loader类
doudoudouzoule的博客
02-23 2749
上篇文章分析angr.Project类时说到，angr工具第一步就是将二进制文件加载到cle.loader类里。（CLE means Loading Everything）。loader类加载所有的对象并导出一个进程内存的抽象。生成该程序已加载和准备运行的地址空间。构造函数参数：cle.loader.Loader(main_binary, auto_load_libs=True, force_lo...
angr内存模拟部分源码阅读
热门推荐
Breeze的博客
09-02 1万+
主要分析angr中对于内存模拟的实现原理以及对于符号化内存地址访问的实现策略。
Angr：Simulation Managers
sunrise19960110的博客
06-19 775
原文链接：https://docs.angr.io/core-concepts/pathgroups
一道另类的二进制逆向解法（angr初识）
xfy1208的博客
05-22 1162
新人发帖，欢迎大佬们指点angr工具（Python运行）：    工具下载：https://www.anquanke.com/post/id/85039下边来解一道逆向的题试用一下题目下载地址：http://www.whaledu.com/course/13/task/51/show例题（无参数）r100：Linux环境下，Python交互键入命令完成： import angr //项目装载：'....
Angr（十二）——官方文档（Part3）
qq_45953112的博客
08-01 1605
符号执行 Angr
angr学习笔记（10）（hook）
寻梦&之璐
04-13 2554
脚本： import angr import sys import claripy def main(argv): bin_path=argv[1] p=angr.Project(bin_path) init_state=p.factory.entry_state() check_addr=0x080486B3 check_skip_size=5 @p.hook(check_addr,length=check_skip_size) def c
PSpice软件快速入门系列--如何快速使用PSpice进行仿真
最新发布
Xinqiaoe_的博客
01-22 2万+
打开Capture原理图设计工具，点击菜单栏【File】>>【New】>>【Project...】新建原理图，我们需要在弹出的窗口中输入我们的工程名和工程所在地址，需要注意的是下方的“Enable PSpice Simulation”勾选项我们需要勾上，我们才可以对新建工程进行仿真，如图1所示。本节主要对如何简单地对已有原理图使用PSpice仿真进行讲解，对PSpice的部分设置做了简要介绍，以及如何开始运行仿真，旨在为初次使用的用户提供简明指导，后续会提供更多详细的PSpice仿真相关知识。
angr分析程序的控制流图CFG
^_^
10-12 5424
angr分析程序的CFG 概述 在二进制上实现基本的分析一般是通过控制流图。一个CFG是一个基本块为节点，jump/ret/call为边的图。 在angr里，主要有两种CFG，一种是静态的CFG（CFGFast）和动态的CFG（CFGEmulated） CFGFast使用静态分析来产生CFG。生成的速度很快，但是理论上有些控制流的转换只在执行的时候确定。这个和其他逆向工具差不多，结果也匹配输出。 CFGEmulated使用符号执行来去获取CFG。理论上更精准，但是比较慢。目前还不是完整的，因为模拟执行时的准
CTF——angr使用学习记录
weixin_52369224的博客
11-15 2583
寄存器的符号化： import angr import claripy p = angr.Project('') init_addr = 0x08048980 #scanf的下一条指令地址 state = p.factory.blank_state(addr=init_addr) #创建一个状态，并将该地址赋给它，也就是跳过输入，直接执行下一条指令,此处使用.blank_state()而不再是.entry_state() #定义三个位向量，即三个输入 p1 = claripy.BVS('p.
掌握二进制分析：angr逆向技术详解
资源摘要信息:"angr是一个开源的二进制分析框架，用于进行逆向工程和二进制分析。它主要用于安全研究，可以帮助研究者发现和利用软件中的漏洞。angr提供了各种功能，包括程序可执行文件的加载、静态和动态分析、符号...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值