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

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

import angr
import claripy
import sys

def test():
	file='13_angr_static_binary'
	project=angr.Project(file)
	initial_state=project.factory.entry_state()
	
	#使用simprocedure代替标准库函数，从而加快工作速度
	project.hook(0x0804ed40,angr.SIM_PROCEDURES['libc']['printf']())
	project.hook(0x0804ed80,angr.SIM_PROCEDURES['libc']['scanf']())
	project.hook(0x0804f350,angr.SIM_PROCEDURES['libc']['puts']())
	project.hook(0x08048d10,angr.SIM_PROCEDURES['glibc']['__libc_start_main']())

	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:
		for i in simulation.found:
			solution_state=i
			solution=solution_state.posix.dumps(sys.stdin.fileno())
			print('Solution is {0}'.format(solution))
	else:
		raise Exception('Can not find solution.')
	
if __name__=="__main__":
	test()

需要hook的函数有printf、scanf、puts及__libc_start_main，project.hook需要它们的地址，具体的如下所示。

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

再执行13_angr_static_binary，然后需要我们输入angr刚刚求解出的密码，结果为Good Job。

至此，求解13_angr_static_binary已全部完成。