1

我正在尝试使用 angr 二进制分析库 ( http://angr.io/ ) 编写 python 脚本。我编写的代码通过使用 ElfCore 后端（ http://angr.io/api-doc/cle.html#cle.backends.elf.elfcore.ELFCore）成功加载了我想玩的进程的核心转储) 传递给项目构造函数，执行如下操作：

ap = angr.Project("corefile", main_opts={'backend': 'elfcore'})

我想知道的是，我现在如何从核心转储定义的状态（寄存器和内存）向前“运行”程序？例如，当我尝试SimState使用上述项目创建一个时：

ss = angr.sim_state.SimState(project=ap)
ss.regs.rip

我回来说 rip 未初始化（它肯定是在核心转储中/在生成核心转储时初始化的）。

提前感谢您的帮助！

4

1 回答 1

2

好吧！我想通了。作为一个完整的 angr n00b®，这可能不是最好的方法，但由于没有人提供更好的方法，这就是我想出的。

第一的...

ap = angr.Project("corefile", main_opts={'backend': 'elfcore'}, rebase_granularity=0x1000)
ss = angr.factory.AngrObjectFactory(ap).blank_state()

这rebase_granularity是需要的，因为我的核心文件在地址范围内映射了堆栈的高位，而 angr 拒绝将内容映射到您的主二进制文件（在这种情况下是我的核心文件）之上。

通过检查 angr 源（并在 Python 终端上播放），我发现此时，上述状态将按照核心文件定义的方式将内存全部映射出来，但尚未正确定义寄存器。因此，我需要继续：

# Get the elfcore_object
elfcore_object = None
for o in ap.loader.all_objects:
    if type(o) == cle.backends.elf.elfcore.ELFCore:
        elfcore_object = o
        break
if elfcore_object is None:
    error

# Set the reg values from the elfcore_object to the sim state, realizing that not all
# of the registers will be supported (particularly some segment registers)
for regval in elfcore_object.initial_register_values():
    try:
        setattr(ss.regs, regval[0], regval[1])
    except Exception:
        warn

# get a simgr
simgr = ap.factory.simgr(ss)

现在，我可以使用核心转储定义的状态作为起点，从这里向前奔跑……

for ins in ap.factory.block(simgr.active[0].addr).capstone.insns:
    print(ins)

simgr.step()

...repeat
于 2019-11-22T19:23:51.063 回答