理解 angr 内存映射答案

【问题标题】：understanding the angr memory map理解 angr 内存映射
【发布时间】：2017-03-25 00:02:55
【问题描述】：

我正在处理 angr-doc 挑战之一 (https://github.com/angr/angr-doc/blob/2d45c9e6d9f91e83988719aa19940aec2cfd8747/examples/ekopartyctf2015_rev100/solve.py)，但在我的方法中，我遇到了这种情况：

mov     rdx, [rbp+var_150];
mov     rdx, [rdx];
mov     rdx, [rdx+8];
movsx   esi, byte ptr [rdx]

我需要将 esi 设置为符号（esi 将包含值）。

我尝试过这样的事情：

#mov     rdx, [rbp+var_150]
p1 = init_state.memory.load(init_state.regs.rbp-0x150, 8, endness=p.arch.memory_endness)
#mov     rdx, [rdx]
p2 = init_state.memory.load(p1, 8, endness=p.arch.memory_endness)
#mov     rdx, [rdx+8]
p3 = init_state.memory.load(p2+8, 8, endness=p.arch.memory_endness)
#movsx   esi, byte ptr [rdx]
r1 = init_state.memory.load(p3, 8, endness=p.arch.memory_endness)

但它不起作用另外，我尝试为每个指针设置一个 BitVector 值 (BVV)，但它也不起作用。

我做错了什么？

【问题讨论】：

“不起作用”到底是什么意思？

标签： z3 solver smt angr

【解决方案1】：

我找到了解决方案。我对内存布局有误解。我虽然所有的记忆都是象征性的，但我期待对多个 ptr 的访问是“自动”解决的。我解决了创建 BitVector 值并将其存储在 rpb-0x150 和指针中的问题。这是一个例子：

#mov     rdx, [rbp+var_150]
ptr_v_2 = claripy.BVV(0xe000000000, 64)
init_state.memory.store(init_state.regs.rbp-0x150, ptr_v_2)
p3 = init_state.memory.load(init_state.regs.rbp-0x150, 8, endness=p.arch.memory_endness)

#mov     rdx, [rdx]
ptr_v_1 = claripy.BVV(0xd000000000, 64)
init_state.memory.store(p3, ptr_v_1)
p2 = init_state.memory.load(p3, 8, endness=p.arch.memory_endness)

#mov     rdx, [rdx+8]
ptr_v = claripy.BVV(0xc000000000, 64)
init_state.memory.store(p2+8, ptr_v)
p1 = init_state.memory.load(p2+8, 8, endness=p.arch.memory_endness)

现在，我正在尝试了解如何设置所有内存符号

【讨论】：