是否有工具可以比较某些反汇编和某些C的控制流？
这是我的情况：我开始使用函数的反汇编（x86_64）。在一些C代码中，我尝试在Hopper.app提供的反编译的帮助下创建具有相同功能的函数。我想确保我的C代码完全重新创建反汇编的功能（对于所有可能的输入和全局状态）。我希望可以比较控制流程图。
根据this paper的摘要，该领域已有一些工作，至少在Java的背景下。
是否有可用于生成和比较拆卸控制流程图的工具？理想情况下，我可以比较我开始的反汇编控制流程和我提出的C代码，但比较我开始的反汇编控制流程和我可以从我的C代码生成的dis / assembly仍然很棒。