angr源码分析——Simulation Manager

最新推荐文章于 2024-01-22 10:03:20 发布
VIP文章 最新推荐文章于 2024-01-22 10:03:20 发布
阅读量1.6k 收藏 2
点赞数 2
分类专栏： 物联网 漏洞挖掘
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/doudoudouzoule/article/details/79467268
版权

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元/天 解锁文章
FunctionY
关注
  • 2
    点赞
  • 踩
  • 2
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
程序分析理论-angr
05-08
论文（State of）The Art of War: Offensive Techniques in Binary Analysis介绍ppt
Allegro学习之PCB SI后仿真流程
热门推荐
weixin_37879993的博客
06-25 3万+
目录......................................................................................................................................................2一、 Cadence Allegro PCB SI简介.......................
Angr：Simulation Managers
sunrise19960110的博客
06-19 617
原文链接：https://docs.angr.io/core-concepts/pathgroups
PSpice软件快速入门系列--如何快速使用PSpice进行仿真
最新发布
Xinqiaoe_的博客
01-22 3981
打开Capture原理图设计工具，点击菜单栏【File】>>【New】>>【Project...】新建原理图，我们需要在弹出的窗口中输入我们的工程名和工程所在地址，需要注意的是下方的“Enable PSpice Simulation”勾选项我们需要勾上，我们才可以对新建工程进行仿真，如图1所示。本节主要对如何简单地对已有原理图使用PSpice仿真进行讲解，对PSpice的部分设置做了简要介绍，以及如何开始运行仿真，旨在为初次使用的用户提供简明指导，后续会提供更多详细的PSpice仿真相关知识。
去控制流平坦化学习
szxpck的博客
07-14 4167
控制流平坦化是OLLVM中使用到的一种代码保护方式，它还有2个兄弟-虚假控制流和指令替换，这3种保护方式可以累加，对于静态分析来说混淆后代码非常复杂。 控制流平坦化的主要思想就是以基本块为单位，通过一个主分发器来控制程序的执行流程。 例如一个常见的if-else分支结构的程序可以是这样： 经过控制流平坦化之后，得到了一个相当规整的流程图： 控制流平坦化在代码上体现出来可以简要地理解为是while+switch的结构，其中的switch可以理解为主分发器。这一点在IDA的反汇编里面可以很明显地体现出来。 混
angr学习笔记（10）（hook）
寻梦&之璐
04-13 2367
脚本： 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
Android OLLVM反混淆实战
zhangmiaoping23的专栏
05-24 2211
前言 小弟我最近在研究ollvm平坦化的反混淆，但网上的参考资料大多是x86的反混淆，关于arm的少之又少，现正好手头有个app样本中运用了这种混淆技术，所以拿来练一练手。 app样本：douyin9.9.0 so样本：libcms.so 逆向工具：ida,jadx 观察函数控制流程图(CFG) 所要获取的签名算法位于leviathan方法中，该方法是个native方法，在libcms.so中没有静态关联函数，所以我们需要找到其动态注册的位置。 首先，分析Jni_OnLoad函数，Jni.
使用angr进行静态分析和符号执行
04-25
使用angr进行静态分析和符号执行
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...
angr：一个功能强大且用户友好的二进制分析平台！
02-24
愤怒 angr是一个与平台无关的二进制分析框架。 它由 ，其相关的CTF团队， ，开源社区和。什么？ angr是一套Python 3库，可让您加载二进制文件并对它做很多有趣的事情： 拆卸和中间表示提升程序检测符号执行控制流...
debogus:使用Angr对OLLVM伪造控制流进行模糊处理
05-22
恶作剧 利用angr符号执行去除虚假控制流 用法 python debogus.py [-h] [-f FILE] [-s START] [-e END] 可选参数： -h, --help show this help message and exit -f FILE, --file FILE The path of binary file to deobfuscate -s START, --start START Start address of target function -e END, --end END End address of target function 例如： python debogus.py -f attachment -s 404350 -e 404AD5
Angr_Tutorial_For_CTF:ctf的angr教程
04-30
angr是一个非常有用的二进制分析框架。 许多ctfer喜欢使用angr节省他们在CTF中的时间。 但是，对于初学者来说，angr有点困难，因为它从版本7更新到了版本8。而且许多CTF中有关angr的出色教程都无法正常运行。 我...
Angr安装与使用之使用篇（十）
qq_42308741的博客
11-17 146
针对angr提供的17道练习题，现在进行求解09_angr_hooks，它也是关于hook的问题，需要使用angr求解出正确密码。但是需要提供排除地址以减少路径求解时间。 具体代码如下所示 import angr import claripy import sys def main(argv): path_to_binary = argv[1] project = angr.Project(path_to_binary) initial_state = project.factory.ent
ollvm 学习笔记
sky123博客
04-28 4103
环境配置 编译 ollvm 先将 GitHub 上的 ollvm 下载下来。 git clone -b llvm-4.0 https://github.com/obfuscator-llvm/obfuscator.git 创建文件夹，作为编译 ollvm 的目录。 mkdir ollvm cd ollvm 加载 ollvm 项目。 cmake -DCMAKE_BUILD_TYPE=Release -DLLVM_INCLUDE_TESTS=OFF ~/obfuscator 然后编译项目。 make -j
CTF——angr使用学习记录
weixin_52369224的博客
11-15 2387
寄存器的符号化： 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去除o-llvm控制流平坦化
liumengdeqq的专栏
01-02 2493
更改这篇文章中最新版本的bug https://security.tencent.com/index.php/blog/msg/112 和补充这篇文章的环境搭建    1.配置mac中docker环境      （1）下载 https://download.docker.com/mac/stable/Docker.dmg      （2）可以按照这篇文章中传mac到docker文件 http
Angr源码分析——Explorer 技术及ExplorationTechnique机制简单解析
zhuzhuzhu22的博客
06-25 1768
本博客由闲散白帽子胖胖鹏鹏胖胖鹏潜力所写，仅仅作为个人技术交流分享，不得用做商业用途。转载请注明出处，未经许可禁止将本博客内所有内容转载、商用。          我们在使用Angr分析代码的时候，最常用的功能应该是Simulation Manager的explore()功能了，这个函数能够很方便的让Angr搜索到我们想要的state，并且求出运行到该state所需的约束条件。那今天，我们来分析一...
angr源码分析——Simulation Engines
doudoudouzoule的博客
03-12 1141
为什么研究这个类呢？原因是在对程序进行模拟执行时，step()调用的实际上就是project.factory.successors()函数，而这个函数代码为 def successors(self, *args, **kwargs): """ Perform execution using any applicable engine. Enumerate th...
angr源码分析——库函数识别identify
doudoudouzoule的博客
08-09 2840
在识别代码的同源性时，多数情况下采用的方法是依赖于代码本身的数据特征例如Flirt技术的前32位字节码，函数crc；diaphora的fuzzing hash等。而在二进制代码中，不同的编译环境或库版本都会对最终生成的库函数的代码带来巨大的变化，导致依赖于数据特征的库函数识别技术识别率极低，或者干脆无用。那么此时为了识别一个函数我们需要依赖的就是函数的语义。 函数语义代表这个函数做了什么，而不是...
angr框架reverse
10-16
angr框架是一个二进制分析工具，可以用于逆向工程、漏洞挖掘、恶意代码分析等领域。它可以自动化地执行二进制程序，并对程序进行符号执行，以便找到程序的漏洞或者执行路径。在使用angr框架时，需要先将二进制程序加载到angr中，然后通过angr提供的API来进行符号执行。 在使用angr框架时，需要注意以下几点： 1. 需要对二进制程序进行静态分析，以便了解程序的结构和功能。 2. 需要对程序进行符号化，以便angr能够对程序进行符号执行。 3. 需要对程序进行约束条件的设置，以便angr能够找到程序的漏洞或者执行路径。

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

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

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值