интересная вещь, надо попробовать

NeverD is a native binary analysis and decompilation engine built around 1:1 instruction-level lifting. It loads PE, ELF, and Mach-O, decodes with Capstone, and lifts through a four-stage IR pipeline with hand-written semantics — not approximate translation. The goal is 100% semantic fidelity: supported instructions keep their full observable behavior in LLVM IR, structured C, or a rewritten binary.

https://github.com/NeverSight/NeverD