针对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已全部完成。