Angr学习 02_angr_condication

最新推荐文章于 2025-12-22 21:09:22 发布

原创

最新推荐文章于 2025-12-22 21:09:22 发布 · 250 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#学习

本文介绍使用angr工具进行二进制程序自动化分析的方法。通过具体实例展示如何设置初始状态、定义成功与失败条件，并利用explore函数探索程序路径以找到符合条件的输入。

Angr学习 02_angr_condication

1. IDA
2. 分析
3.exp

1. IDA

在这里插入图片描述

2. 分析

本题与之前两题差不多
还是老思路
给simulation两个参数
然后返回结果

3.exp

import angr

p = angr.Project('02_angr_find_condition')

init_state = p.factory.entry_state()

sm = p.factory.simul

最低0.47元/天解锁文章

确定要放弃本次机会？

福利倒计时

: :

立减 ¥

普通VIP年卡可用

立即使用

==Microsoft==

关注关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
分享

复制链接

分享到 QQ

分享到新浪微博

扫一扫
打赏
打赏
打赏举报

举报

专栏目录

Angr学习 04_angr_symbolic_stack

MrTreebook的博客

10-04

436

【代码】Angr学习 04_angr_symbolic_stack。

angr 03_angr_symbolic_registers 寄存器符号化

漫小牛的博客

08-17

659

文章目录1 解题过程 03_angr_simbolic_registers是angr的第4个例子，下载位置：https://github.com/jakespringer/angr_ctf 1 解题过程 import angr import sys import claripy def main(argv): bin_path = argv[1] p = angr.Project(bin_path) start_addr = 0x08048980

参与评论您还未登录，请先登录后发表或查看评论

Angr 02_angr_find_condition 根据输出状态条件搜索正确输入

小龙在线

09-09

406

explore的find和avoid支持函数作为参数，根据函数返回值来判断是否成功。Angr把状态传入了函数，从而判断成功与否。

angr 02_angr_find_condition 完整脚本

漫小牛的博客

08-17

364

文章目录1 解题过程 02_angr_find_condition是angr的第3个例子，下载位置：https://github.com/jakespringer/angr_ctf 1 解题过程 import angr import sys def main(argv): bin_path = argv[1] p = angr

Angr安装与使用之使用篇（三）

qq_42308741的博客

10-28

230

针对angr提供的17道练习题，现在进行求解02_angr_find_condition，它也是关于输入密码的问题，需要使用angr求解出正确密码。但是需要提供排除地址以减少路径求解时间。参考博客点这里具体代码如下所示 import angr import sys def main(argv): path_to_binary = argv[1] project = angr.Project(path_to_binary) initial_state = project.factory.

angr学习笔记（4）（寄存器符号化）

寻梦&之璐

04-11

2232

文章目录拖入ida脚本：验证拖入ida 汇编代码为： .text:0804890C push ebp .text:0804890D mov ebp, esp .text:0804890F sub esp, 18h .text:08048912 mov ecx, large gs:14h .text:08048919 mov [ebp+var_C], ecx .text:0804891C xor ecx, ecx .text:0804891E lea

二进制分析工具angr的使用学习（1）

逆向随笔

04-18

3402

参考文章： Angr：一个具有动态符号执行和静态分析的二进制分析工具 1. angr安装-linux 安装依赖 sudo apt-get install python-dev libffi-dev build-essential virtualenvwrapper 安装angr mkvirtualenv angr && pip install angr 出现错误...

Angr学习 03_angr_symbolic_registers

MrTreebook的博客

10-04

315

【代码】Angr学习 03_angr_symbolic_registers。

精选资源

Angr_Tutorial_For_CTF:ctf的angr教程

04-30

我根据此幻想教程，和，使用此git repo记录了我对angr的学习经验。非常感谢他们。我希望我能继续一段时间并在将来熟悉angr。安装我使用pypy以更快的方式运行angr。这是我的安装说明。 conda create -n angr...

angr.state_plugins.unicorn_engine | failed loading “angr_native.dylib“, unicorn support disabled

桃子小迷妹

12-22

372

angr.state_plugins.unicorn_engine | failed loading "angr_native.dylib", unicorn support disabled

angr学习笔记（9）（添加约束）

寻梦&之璐

04-13

3026

拖进ida 需要在下方添加一个约束，防止路线爆炸if ( check_equals_AUPDNNPROEZRJWKB((int)&buffer, 0x10u) ) 脚本 import sys import angr def main(argv): bin_path=argv[1] p=angr.Project(bin_path) start_addr=0x08048625 init_state=p.factory.blank_state(addr=start_a

Javaweb 学习笔记——html+css

hssfscv的博客

12-18

916

以上是Javaweb中关于前端html和css的相关内容，主要制作了两个页面，了解了如何使用AI生成我们需要的内容，有利于了解前端知识，接下来将进行剩余前端知识的学习

【学习笔记】安全模型

最新发布

tpriwwq的专栏

12-22

430

安全模型是指描述安全重要方面（机密性，完整性等）及其与系统行为的关系（允许/拒绝访问、加密/解密数据等）的框架。

CAPL学习-AVB交互层-媒体函数1-回调&基本函数

车载网络测试工程师的博客

12-21

799

可基于对象（如 MediaGetMediaType 返回的媒体类型对象）检索属性。可基于对象（如 MediaGetMediaType 返回的媒体类型对象）设置属性。可基于对象（如 MediaGetMediaType 返回的媒体类型对象）设置属性。可基于对象（如 MediaGetMediaType 返回的媒体类型对象）检索属性。可基于对象（如 MediaGetMediaType 返回的媒体类型对象）设置属性。可基于对象（如 MediaGetMediaType 返回的媒体类型对象）检索属性。

Java 学习路线及学习周期

前端金牌摸鱼达人

12-17

1654

Java 学习路线及学习周期

Ape.Volo项目源码学习（4：限流设置）

gc_2299的博客

12-20

320

学习并记录项目中接口限流的用法。

使用 Python 语言从 0 到 1 搭建完整 Web UI自动化测试学习系列 34--基础知识 9--文件上传功能

我的xiaodoujiao，软件测试人员

12-21

723

Web UI自动化测试学习系列第三十四篇

【每天一个AI小知识】：什么是多模态学习？

码道源码

12-20

794

多模态学习是人工智能的重要分支，让AI能同时处理文本、图像、音频等多种数据形式。本文系统介绍了多模态学习的概念、发展历程、核心技术（如模态融合、对比学习）、主流模型（CLIP、GPT-4、Gemini等）及其在智能助手、内容创作等领域的应用。文章还探讨了当前面临的模态异质性、数据稀缺性等挑战，并展望了全模态学习、实时理解等未来趋势。多模态学习正推动AI向更接近人类智能的方向发展，同时也引发了对智能本质、人机关系等哲学思考。

MySQL 学习笔记（进阶篇2）

2302_79807388的博客

12-20

705

(1) 视图(View)是一种虚拟存在的表。视图中的数据并不在数据库中实际存在，行和列数据来自定义视图的查询中使用的表，并且是在使用视图时动态生成的。(2) 通俗的讲，视图只保存了查询的SQL逻辑，不保存查询结果。所以我们在创建视图的时候，主要的工作就落在创建这条SQL查询语句上。① 没有：不会检查当前视图的WHERE条件，即使数据不满足该条件，也能成功存入基表；但后续查询该视图时，这条不满足条件的数据不会在视图结果中显示② 有 check option：会按LOCALCASCADED。

angr get_by_name

04-01

### angr `get_by_name` 方法详解在静态分析框架 **angr** 中，`get_by_name` 是用于从项目中的符号表获取特定符号的相关信息的方法之一。此方法通常应用于二进制文件的加载过程中，帮助用户定位函数地址或其他符号定义的位置。以下是关于该方法的具体说明： #### 方法签名 `get_by_name(name)` 参数： - `name`: 符号名称 (字符串)，表示要查询的目标符号名。返回值： - 如果找到匹配的符号，则返回对应的对象；如果未找到任何匹配项，则返回 None 或引发异常[^1]。 #### 使用场景当需要通过已知的函数或变量名称来访问其内存位置时可以调用此 API。例如，在逆向工程期间可能希望快速跳转到某个入口点或者确认某些库函数的实际实现细节。 #### 示例代码展示如何利用 get_by_name 获取指定函数的信息并打印出来: ```python import angr # 加载目标程序 proj = angr.Project("/path/to/binary", load_options={'auto_load_libs': False}) # 查找名为 'main' 的函数 func_main = proj.loader.find_symbol('main') if func_main is not None: print(f"Function main found at address {hex(func_main.rebased_addr)}") else: print("Could not find function main.") # 另一种方式使用 simprocedure 来模拟标准 C 库的行为 cfg_fast = proj.analyses.CFGFast() entry_func = cfg_fast.functions.get('printf') # 尝试检索 printf 函数节点 if entry_func: print(f"'printf' exists and has the following properties:\n{entry_func}") ``` 上述脚本展示了两种不同的技术路径去发现感兴趣的实体——直接依赖于 loader 提供的功能以及借助控制流图生成器完成更深层次扫描的能力[^2]. 请注意实际应用中需调整路径至有效可执行文件，并考虑是否启用自动加载共享库选项以适应具体需求环境变化情况下的兼容性问题。