Is there a tool to compare the control flow of some disassembly and some C?
Here's my situation: I started with the disassembly (x86_64) of a function. In some C code, I have attempted--with the help of the decompilation provided by Hopper.app--to create a function with the same functionality. I would like to be sure that my C code recreates the functionality of the disassembly exactly (for all possible inputs and global states). My hope is that it is possible to compare control flow graphs.
According to the abstract for this paper, there has been some work in the area, at least in the context of Java.
Is there any available tooling around generating and comparing control flow graphs for disassembly? Ideally I could compare the control flow of the disassembly which I started with and the C code that I've come up with, but comparing the control flow of the disassembly I started with and dis/assembly that I can generate from my C code would still be fantastic.