有没有工具可以比较一些反汇编和一些C的控制流？
这是我的情况：我从函数的反汇编（x86_64）开始。在一些 C 代码中，我尝试在 Hopper.app 提供的反编译帮助下创建具有相同功能的函数。我想确保我的 C 代码准确地重新创建了反汇编的功能（对于所有可能的输入和全局状态）。我希望可以比较控制流图。
根据本文的摘要，该领域已经有一些工作，至少在 Java 的上下文中是这样。
是否有任何可用的工具来生成和比较用于反汇编的控制流图？理想情况下，我可以比较我开始的反汇编的控制流和我提出的 C 代码，但是比较我开始的反汇编的控制流和我可以从我的 C 代码生成的反汇编的控制流会仍然很棒。