What does HackerNews think of rellic?
Rellic produces goto-free C output from LLVM bitcode
Language:
C++
#61
in
C
Rellic[0] is a decompiler that uses a similar, more modern approach to turn LLVM IR into goto-free C code
Rellic [1] implements an algorithm that generates goto-free control flows (citation in README), which would be a significant improvement against what Ghidra/IDA generates currently.
Unfortunately it looks like the maintenance state of the pieces around Rellic isn't very good, and it's quite rocket science to get it building. It doesn't have as much UI/GUI as Ghidra either so it's a bit far from accessible right now.
Hey, LLVM to C is what Rellic does! https://github.com/lifting-bits/rellic
> Either way, you want to start with a working binary and gradually replace some parts of it (but not others) with C code as you gradually understand more of the binary.
The author found RetDec, but might not have known about McSema[1] and other binary lifters. The latter have this exact goal in mind: you lift the original binary to LLVM IR (and then potentially to C[2]) to perform transformations.
[1]: https://github.com/lifting-bits/mcsema
[2]: https://github.com/lifting-bits/rellic
FD: My company's work. But I don't currently work on either of those tools.