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

最新推荐文章于 2023-08-01 15:41:54 发布

芳芳超人爱学习

最新推荐文章于 2023-08-01 15:41:54 发布

阅读量365

点赞数

分类专栏：逆向分析 angr python 文章标签： python

本文链接：https://blog.youkuaiyun.com/qq_42308741/article/details/121864450

版权

python 同时被 3 个专栏收录

23 篇文章

订阅专栏

angr

19 篇文章

订阅专栏

逆向分析

16 篇文章

订阅专栏

本文通过一个示例展示了如何利用angr库的veritesting功能，结合静态和动态执行，有效地解决了一个需要输入密码的练习题。在代码中设置找到正确输出'GoodJob.'的路径并避免错误输出'Tryagain.'，最终成功找出正确密码。执行程序并输入求解出的密码后，得到了预期的'GoodJob.'，验证了解决方案的正确性。

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

针对angr提供的练习题，现在进行求解12_angr_veritesting，它也是关于hook输入的问题，需要使用angr求解出正确密码。但是需要提供排除地址以减少路径求解时间。
具体代码如下所示

import angr
import claripy
import sys

def test():
	file='12_angr_veritesting'
	project=angr.Project(file)
	initial_state=project.factory.entry_state()
	
	#Veritesting结合了静态符合执行与动态符号执行，减少了路径爆炸的影响
	simulation=project.factory.simgr(initial_state,veritesting=True)
	def succ(state):
		return b'Good Job.' in state.posix.dumps(sys.stdout.fileno())
	def fail(state):
		return b'Try again.' in state.posix.dumps(sys.stdout.fileno())
	simulation.explore(find=succ,avoid=fail)

	if simulation.found:
		solution_state=simulation.found[0]
		solution = solution_state.posix.dumps(sys.stdin.fileno())
		print('Solution is {0}'.format(solution.decode('utf-8')))
	else:
		raise Exception('Could not find the solution')

if __name__=="__main__":
	test()

下面验证实验结果
执行刚刚写好的程序，保存为scaffold12.py，并将其与12_angr_veritesting放于同一文件夹中，具体如下图所示。
请添加图片描述
再执行12_angr_veritesting，然后需要我们输入angr刚刚求解出的密码，结果为Good Job。

至此，求解12_angr_veritesting已全部完成。