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

针对angr提供的练习题，现在进行求解06_angr_symbolic_dynamic_memory，需要使用angr求解出正确密码。但是需要提供排除地址以减少路径求解时间。
具体代码如下所示

import angr
import claripy
import sys

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

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

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

  fake_heap_address0 = 0xffff0000
  pointer_to_malloc_memory_address0 = 0xabcc8a4
  initial_state.memory.store(pointer_to_malloc_memory_address0, fake_heap_address0, endness=project.arch.memory_endness)
  fake_heap_address1 = 0xffff000a
  pointer_to_malloc_memory_address1 = 0xabcc8ac
  initial_state.memory.store(pointer_to_malloc_memory_address1, fake_heap_address1, endness=project.arch.memory_endness)
 
  initial_state.memory.store(fake_heap_address0, password0)
  initial_state.memory.store(fake_heap_address1, password1)

  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,cast_to=bytes)
    solution1 = solution_state.solver.eval(password1,cast_to=bytes)
    solution = solution0+b' '+solution1

    print('solutions is:{}'.format(solution.decode('utf-8')))
  else:
    raise Exception('Could not find the solution')

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

我们可以看到两次调用malloc并分配缓冲区，因为maclloc()函数只有一个参数，通过push 9不难推测出缓冲区大小为9字节。在两次调用之后，根据mov ds:buffer0, eax和mov ds:buffer1, eax知开辟后的缓冲区被复制到标识为buffer0和buffer1的两个存储区中。最后返回缓冲区地址到EAX寄存器中，分别对应mov eax,ds:buffer0和mov eax,ds:buffer1。

此时查看缓冲区buffer0和buffer1地址，分别为0xabcc8a4和0xabcc8ac。

由于缓冲区大小为9，所以虚拟地址为0xffff0000和0xffff000a，并分别将缓冲区地址放入这两个地址中。

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

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

至此，求解06_angr_symbolic_dynamic_memory已全部完成。