针对angr提供的练习题,现在进行求解02_angr_find_condition,它也是关于输入密码的问题,需要使用angr求解出正确密码。但是需要提供排除地址以减少路径求解时间。

参考博客点这里

具体代码如下所示

import angr
import sysdef main(argv):path_to_binary = argv[1]project = angr.Project(path_to_binary)initial_state = project.factory.entry_state()simulation = project.factory.simgr(initial_state)def is_successful(state):  stdout_output = state.posix.dumps(sys.stdout.fileno())   return b'Good Job.' in stdout_outputdef should_abort(state):stdout_output = state.posix.dumps(sys.stdout.fileno())return b'Try again.' in stdout_output  # :booleansimulation.explore(find=is_successful, avoid=should_abort)if simulation.found:solution_state = simulation.found[0]print(solution_state.posix.dumps(sys.stdin.fileno()))else:raise Exception('Could not find the solution')if __name__ == '__main__':main(sys.argv)

根据输入所产生的dumps结果是否匹配b’Good Job.'和b’Try again.'来确定目标地址和排除地址。

下面验证实验结果
执行刚刚写好的程序,保存为scaffold02.py,并将其与02_angr_find_condition放于同一文件夹中,具体如下图所示。

再执行02_angr_find_condition,然后需要我们输入angr刚刚求解出的密码即HETOBRCU,结果为Good Job。

至此,求解02_angr_find_condition已全部完成。

Angr安装与使用之使用篇(三)相关推荐

  1. pve安装黑群晖直通硬盘_蜗牛星际装机教程篇三:手把手教你安装黑群晖NAS

    原文作者:范俩仟 蜗牛星际装机教程篇三:手把手教你安装黑群晖NAS 有很多评论说软路由没必要,我想说我就是把这东西当个玩意儿来消遣的,您喜欢看电影,我就喜欢玩电子产品.还有就是我没钱,所以想花最少的钱 ...

  2. homeassistant mysql_学习笔记 篇三:HomeAssistant学习笔记docker安装的ha更换数据库

    学习笔记 篇三:HomeAssistant学习笔记docker安装的ha更换数据库 2018-11-15 12:06:58 4点赞 18收藏 3评论 是返乡过年?还是就地过年?最新一届#双面过节指南# ...

  3. wdnas群晖nas_WD 西部数据 伪NAS折腾记 篇三:WD 西部数据 MyCloud安装黑群晖教程

    WD 西部数据 伪NAS折腾记 篇三:WD 西部数据 MyCloud安装黑群晖教程 2015-12-10 18:21:45 82点赞 408收藏 92评论 首先感谢一下nasyun的大神zwl2012 ...

  4. docker omv 防火墙_我的软路由折腾之旅 篇三:在openmediavault上通过Docker实现OPENWRT旁路由功能...

    我的软路由折腾之旅 篇三:在openmediavault上通过Docker实现OPENWRT旁路由功能 2020-06-20 11:28:38 57点赞 415收藏 74评论 你是AMD Yes党?还 ...

  5. 阅读书源最新2020在线导入_书源篇三及6.5.0版本介绍

    书源篇三及6.5.0版本介绍 魔幻2020 魔幻的2020,开启不一样的生活状态,作为一名技术宅,不出门虽我愿,但看到空荡荡的街头,心中却有种难言的难过与害怕.我不向往繁华.但喜欢车马如龙,街灯繁华. ...

  6. python的枚举和for循环_python入门与进阶篇(三)之分支、循环、条件与枚举,python枚举...

    python入门与进阶篇(三)之分支.循环.条件与枚举,python枚举 python开发工具 IDE Vscode插件官网 https://marketplace.visualstudio.com/ ...

  7. 树莓派蓝牙ble gattlib c语言,树莓派构建智能家居控制系统 篇三:花花草草智能监测仪接入树莓派Domoticz...

    树莓派构建智能家居控制系统 篇三:花花草草智能监测仪接入树莓派Domoticz 2017-05-22 19:30:08 35点赞 410收藏 31评论 作为工科男,实在对花花草草没太多感觉.家里阳台养 ...

  8. unraid应用_unraid 篇三:unraid docker之网页文件管理,强迫症的福音

    unraid 篇三:unraid docker之网页文件管理,强迫症的福音 用久了unraid觉得哪哪都舒服,唯一一点就是文件管理真难受,在列阵里你不能添加删除任何文件/文件夹, 这就显得很蛋疼,我要 ...

  9. 石头扫地机器人卡顿_小帅慢评 篇三:石头扫地机器人S50半年使用体验新品T65简评...

    小帅慢评 篇三:石头扫地机器人S50半年使用体验&新品T65简评 2019-08-28 15:44:51 12点赞 35收藏 8评论 碎碎念懒人实现光脚丫子满地跑的利器-石头S50扫地机器人小 ...

  10. NAS群晖DSM 进阶教程 篇三:DSM 4458 升级 DSM 4493 update7

    WOW唤醒NAS手机APP: Windows Phone 8.1测试可用"Wake my PC"的详细信息  http://www.windowsphone.com/s?app ...

最新文章

  1. SAP S4HANA如何取到采购订单ITEM里的'条件'选项卡里的条件类型值?
  2. 基于Python的BPSK音频的波形和频谱
  3. Discuz!X2论坛 “在线时间”更新问题
  4. 三步骤定位Windows崩溃进程
  5. 延迟队列Delay Queue
  6. 安装nvm nodejs npm webpack vue vue-cli
  7. Spark 学习(三) RDD基本介绍
  8. mysql5.6免安装版配置
  9. 高斯(Gaussian)积分常用式
  10. Tomcat中的ResourceBundle国际化解析
  11. 如何退出企业微信?退出之后,企业微信的聊天记录还在吗?
  12. Ogre 天龙八部地形管理器(2) --- 地形和静态对象的加载
  13. 修改chrome默认背景颜色为浅绿色
  14. java代码打出一只狗_牛逼!这位程序员开发出一“舔狗”必备神器(代码已开源)!...
  15. LaTeX 相对于 Word 有什么优势?
  16. FPV入坑前传(20211227)(未完)
  17. 优化着色器信息加载,或查看Yer数据!
  18. 阿里云架构师梁旭:MES on 云盒,助力客户快速构建数字工厂
  19. 赛门铁克将关闭公共DNS服务器
  20. 通过GRUB2打造多系统混合安装U盘

热门文章

  1. android 颜色测试,颜色 大师 (Color Sense Master) - 颜色测试
  2. mysql 51.数据库下载_Database Master官方下载_MySQL/SQLite数据库管理软件V5.2.51.18513下载(暂未上线)_预约_飞翔下载...
  3. 浮点上下文中的整数除法
  4. Hibernate二级缓存以及ehcache的搭建配置
  5. Android开发之自定义UI组件和属性
  6. border-radius的8个属性值_画半圆、叶子等
  7. cisco 以太通道(端口聚合)配置样例
  8. Sublime Text插件
  9. 深入分析java线程池的理解
  10. Centos在VMware虚拟机上的网络配置一记