remill
rellic
Our great sponsors
| remill | rellic | |
|---|---|---|
| 3 | 5 | |
| 1,177 | 510 | |
| 2.6% | 1.8% | |
| 6.4 | 5.5 | |
| 16 days ago | 3 months ago | |
| C++ | C++ | |
| Apache License 2.0 | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
remill
-
Revng translates (i386, x86-64, MIPS, ARM, AArch64, s390x) binaries to LLVM IR
Usually such things are called lifters. Wonder how this tool compares to other existing LLVM IR lifters, such as remill[0] and rellume[1].
0: https://github.com/lifting-bits/remill
- Decompiler Explorer
- fcd – LLVM-based native program optimizing decompiler
rellic
- Understanding Objective-C by transpiling it to C++
-
An Algorithm for Structuring Flowgraphs (1977) [pdf]
Rellic[0] is a decompiler that uses a similar, more modern approach to turn LLVM IR into goto-free C code
[0]: https://github.com/lifting-bits/rellic
-
Decompiler Explorer
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.
[1]: https://github.com/lifting-bits/rellic
- Snowman native code to C/C++ decompiler for x86/x86_64/ARM
-
Q: Irreducible Control Flow Graph in current compilers?
Worthlooking into "No more gotos" paper, you can find a copy here: https://github.com/lifting-bits/rellic/blob/master/docs/NoMoreGotos.pdf
What are some alternatives?
llvm-tutor - A collection of out-of-tree LLVM passes for teaching and learning
rz-ghidra - Deep ghidra decompiler and sleigh disassembler integration for rizin
fcd - An optimizing decompiler
faust - Functional programming language for signal processing and sound synthesis
anvill - anvill forges beautiful LLVM bitcode out of raw machine code
lumen - A private Lumina server for IDA Pro
asmjit - Low-latency machine code generation
ghidra - Ghidra is a software reverse engineering (SRE) framework
mcsema - Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode
mull - Practical mutation testing and fault injection for C and C++
revng - revng: the core repository of the rev.ng project
cling - The cling C++ interpreter