Machine code to LLVM
Anvill
Lifting primitives that aim for Clang-like bitcode quality so decompiled output is easier to reason about.
View on GitHub
lifting-bits/anvill
Best for
When downstream decompilation quality matters as much as correctness.
Surface
Machine code to LLVM
Catalog group
Analyze binaries and reverse engineer behavior
Repository
lifting-bits/anvill
From the README
Anvill implements simple machine code lifting primitives using Remill. The goal of these components is to produce high quality bitcode, which can then be further decompiled to C (via Clang ASTs) using Rellic. We define "high quality bitcode" as being similar in form to what the Clang compiler would produce if it were executed on a semantically equivalent C function.Read the full README on GitHub ↗
Related tools · Analyze binaries and reverse engineer behavior
- Remill Machine-code lifter that translates instructions into LLVM bitcode for later analysis and transformation.
- VMill Snapshot-based process emulator for executing lifted binaries and instrumenting them in LLVM form.
- Manticore Symbolic execution engine for binaries, smart contracts, and WebAssembly programs.
- Maat Dynamic symbolic execution and binary-analysis framework with taint analysis, environment simulation, and constraint solving.
- Codex Decompiler Ghidra plugin that uses language models to improve decompilation and reverse-engineering workflows.