Angr安装与使用之使用篇（五）

针对angr提供的练习题，现在进行求解04_angr_symbolic_stack，需要使用angr求解出正确密码。但是需要提供排除地址以减少路径求解时间。

参考博客

具体代码如下所示

import angr
import claripy
import sys

def main(argv):
  path_to_binary = argv[1]
  project = angr.Project(path_to_binary)

  start_address = 0x08048697
  initial_state = project.factory.blank_state(addr=start_address)

  initial_state.regs.ebp = initial_state.regs.esp   #初始化ebp、esp

  password0 = claripy.BVS('password0', 32)
  password1 = claripy.BVS('password1', 32)

  padding_length_in_bytes = 8  # :integer    #一个变量占4个空间，所以两个就是8
  initial_state.regs.esp -= padding_length_in_bytes     #模拟scanf时栈的情况(剔除了对空间的浪费，即只开辟了两个变量的空间)

  initial_state.stack_push(password0)  # :bitvector (claripy.BVS, claripy.BVV, claripy.BV)
  initial_state.stack_push(password1)
  #至此对scanf的模拟过程就完成了

  simulation = project.factory.simgr(initial_state)

  def is_successful(state):
    stdout_output = state.posix.dumps(sys.stdout.fileno())
    return b'Good Job.' in stdout_output

  def should_abort(state):
    stdout_output = state.posix.dumps(sys.stdout.fileno())
    return b'Try again.' in stdout_output

  simulation.explore(find=is_successful, avoid=should_abort)

  if simulation.found:
    solution_state = simulation.found[0]

    solution0 = solution_state.solver.eval(password0)
    solution1 = solution_state.solver.eval(password1)

    print('{}---{}'.format(solution0,solution1))
  else:
    raise Exception('Could not find the solution')

if __name__ == '__main__':
  main(sys.argv)

开始地址为0x08048697，是因为上一行’add esp,10h’的作用是清理scanf的栈空间。

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

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

至此，求解04_angr_symbolic_stack已全部完成。