加载精灵核心后端后如何使用 angr 运行程序?

Question

我正在尝试使用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 未初始化(它肯定是在核心转储中/在生成核心转储时初始化的(。

提前感谢任何帮助！

Answer 1

好吧！我想通了。作为一个完全的 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