Assembly 翻译Z3'；将AST转换为ASM代码？

有一个例子：

mov edi, dword ptr [0x7fc70000]
add edi, 0x11
sub edi, 0x33F0B753

经过Z3简化后，我得到了（内存0x7FC70000被符号化）：

现在我需要将Z3转换为ASM以获得如下结果：

mov edi, 0xCC0F48BE
add edi, dword ptr [0x7fc70000]

或者像这样：

mov edi, dword ptr [0x7fc70000]
add edi, 0xCC0F48BE

---

据我所知，没有公开提供的此类工具。现在还不太清楚如何设计一个，因为对于给定机器的汇编语言，它必须非常具体。（我想X86假设可以让你走得更远。）最好将它编译成直线C，然后使用无处不在的gnu-C工具链完成最后一步。当然，这完全取决于您的特定用例和需求

请看这一页：

---

如果您沿着开发工具的道路走下去，这里列出的工具可能会给您一个起点。如果你真的开发了这样一个工具，请也在那里做广告。

据我所知，没有公开的工具。现在还不太清楚如何设计一个，因为对于给定机器的汇编语言，它必须非常具体。（我想X86假设可以让你走得更远。）最好将它编译成直线C，然后使用无处不在的gnu-C工具链完成最后一步。当然，这完全取决于您的特定用例和需求

请看这一页：

如果您沿着开发工具的道路走下去，这里列出的工具可能会给您一个起点。如果你开发了这样一个工具，也请在那里做广告

mov edi, dword ptr [0x7fc70000]
add edi, 0xCC0F48BE