lifting-bits / anvill
anvill forges beautiful LLVM bitcode out of raw machine code
☆340Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for anvill
- Rellic produces goto-free C output from LLVM bitcode☆537Updated 2 months ago
- Lift machine code to performant LLVM IR☆391Updated 5 months ago
- Intermediate Representation for Binary analysis and transformation☆310Updated 2 months ago
- A fast and accurate disassembler☆662Updated last week
- S2E: A platform for multi-path program analysis with selective symbolic execution.☆451Updated 3 weeks ago
- Library for lifting machine code to LLVM bitcode☆1,301Updated 4 months ago
- An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis☆211Updated 4 years ago
- A high performance LLVM-based dynamic binary instrumentation framework☆246Updated 5 months ago
- The fastest Intel-PT decoder for fuzzing☆361Updated 9 months ago
- BinRec: Dynamic Binary Lifting and Recompilation☆125Updated last year
- SymCC: efficient compiler-based symbolic execution☆789Updated 4 months ago
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆533Updated 2 months ago
- llvm-mctoll☆816Updated 4 months ago
- An awesome & curated list of binary rewriting papers☆220Updated 2 years ago
- A powerful static binary rewriting tool☆983Updated 3 months ago
- SymQEMU: Compilation-based symbolic execution for binaries☆331Updated 2 weeks ago
- symbolic execution plugin for binary ninja☆249Updated 8 months ago
- RetroWrite -- Retrofitting compiler passes through binary rewriting☆680Updated 6 months ago
- A lightweight dynamic instrumentation library☆1,182Updated 3 weeks ago
- Binary Translator to LLVM IR☆215Updated last year
- Safely execute an arbitrary x86 instruction☆178Updated 9 months ago
- LLEF is a plugin for LLDB to make it more useful for RE and VR☆336Updated 3 months ago
- A research decompiler implemented as a Binary Ninja plugin.☆176Updated last week
- Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR☆184Updated this week
- A tool for analyzing x86-64 binaries.☆305Updated last month
- Core emulator components for Icicle☆126Updated 3 weeks ago
- CLE Loads Everything (at least, many binary formats!)☆416Updated this week
- A binary optimization/specialization library supporting multiple rewriters☆112Updated 3 years ago
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆140Updated last week
- An Interactive Hex-Rays Microcode Explorer☆545Updated 9 months ago