rellic
dire
| rellic | dire | |
|---|---|---|
| 5 | 1 | |
| 510 | 44 | |
| 0.8% | - | |
| 5.5 | 10.0 | |
| 4 months ago | almost 4 years ago | |
| C++ | Python | |
| 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.
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
dire
-
Snowman native code to C/C++ decompiler for x86/x86_64/ARM
I'm surprised nobody has mentioned DIRE[0] yet. They did exactly this and got some very impressive results.
[0]: https://arxiv.org/abs/1909.09029 / J. Lacomis et al., "DIRE: A Neural Approach to Decompiled Identifier Naming," 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2019, pp. 628-639, doi: 10.1109/ASE.2019.00064.
[1]: https://github.com/pcyin/dire
What are some alternatives?
rz-ghidra - Deep ghidra decompiler and sleigh disassembler integration for rizin
lumen - A private Lumina server for IDA Pro
faust - Functional programming language for signal processing and sound synthesis
snowman - Snowman decompiler
mrustc - Alternative rust compiler (re-implementation)
ghidra - Ghidra is a software reverse engineering (SRE) framework
llvm-cbe - resurrected LLVM "C Backend", with improvements
mull - Practical mutation testing and fault injection for C and C++
cling - The cling C++ interpreter
remill - Library for lifting machine code to LLVM bitcode