Angr学习 02_angr_condication

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

原创

最新推荐文章于 2025-12-21 22:01:43 发布 · 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

404

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

2229

文章目录拖入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

371

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

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

寻梦&之璐

04-13

3023

拖进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

909

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

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

最新发布

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

12-21

545

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

Java 学习路线及学习周期

前端金牌摸鱼达人

12-17

1646

Java 学习路线及学习周期

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

gc_2299的博客

12-20

315

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

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

我的xiaodoujiao，软件测试人员

12-21

709

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

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

码道源码

12-20

723

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

MySQL 学习笔记（进阶篇2）

2302_79807388的博客

12-20

697

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

学习笔记——写时复制（Copy-on-Write）

2301_78295956的博客

12-16

711

摘要：写时复制(COW)是一种延迟资源复制的优化技术，多个调用者初始共享同一资源，仅当修改时才创建副本。该技术通过引用计数和内存页保护实现透明操作，显著提升fork()等系统调用性能，减少内存占用。广泛应用于操作系统、编程语言和存储系统，虽存在首次写入延迟等缺点，但通过批量复制等优化策略可缓解。COW体现了"延迟优化"的设计思维，在资源节约和性能间取得平衡。

angr get_by_name

04-01

### angr `get_by_name` 方法详解在静态分析框架 **angr** 中，`get_by_name` 是用于从项目中的符号表获取特定符号的相关信息的方法之一。此方法通常应用于二进制文件的加载过程中，帮助用户定位函数地址或其他...