snowman
rellic
Our great sponsors
| snowman | rellic | |
|---|---|---|
| 2 | 5 | |
| 2,262 | 510 | |
| - | 1.8% | |
| 0.0 | 5.5 | |
| about 1 year ago | 3 months ago | |
| C++ | C++ | |
| - | 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.
snowman
-
Hacker News top posts: Apr 22, 2022
Snowman native code to C/C++ decompiler for x86/x86_64/ARM\ (20 comments)
- Snowman native code to C/C++ decompiler for x86/x86_64/ARM
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?
lumen - A private Lumina server for IDA Pro
rz-ghidra - Deep ghidra decompiler and sleigh disassembler integration for rizin
llvm-cbe - resurrected LLVM "C Backend", with improvements
faust - Functional programming language for signal processing and sound synthesis
dire - Neural Variable Renaming for Decompiled Binaries
mrustc - Alternative rust compiler (re-implementation)
ghidra - Ghidra is a software reverse engineering (SRE) framework
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