aengelke / rellumeLinks
Lift machine code to performant LLVM IR
☆453Updated last year
Alternatives and similar repositories for rellume
Users that are interested in rellume are comparing it to the libraries listed below
Sorting:
- anvill forges beautiful LLVM bitcode out of raw machine code☆354Updated last year
- A high performance LLVM-based dynamic binary instrumentation framework☆273Updated last year
- Rellic produces goto-free C output from LLVM bitcode☆575Updated 4 months ago
- Library for lifting machine code to LLVM bitcode☆1,469Updated 3 weeks ago
- llvm-mctoll☆868Updated last year
- BinRec: Dynamic Binary Lifting and Recompilation☆144Updated 2 years ago
- A fast and accurate disassembler☆721Updated 3 weeks ago
- S2E: A platform for multi-path program analysis with selective symbolic execution.☆491Updated last week
- An awesome & curated list of binary rewriting papers☆250Updated 3 years ago
- A powerful static binary rewriting tool☆1,050Updated 5 months ago
- Intermediate Representation for Binary analysis and transformation☆345Updated 2 months ago
- Nyxstone: assembly / disassembly library based on LLVM, implemented in C++ with Rust and Python bindings, maintained by emproof.com☆389Updated 9 months ago
- x86-64 Assembler based on Zydis☆397Updated 7 months ago
- revng: the core repository of the rev.ng project☆1,553Updated this week
- symbolic execution plugin for binary ninja☆335Updated last month
- awesome llvm security [Welcome to PR]☆742Updated last month
- A small library to modify all page-table levels of all processes from user space for x86_64 and ARMv8.☆267Updated 5 months ago
- SymCC: efficient compiler-based symbolic execution☆842Updated 4 months ago
- An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis☆227Updated 5 years ago
- libipt - an Intel(R) Processor Trace decoder library☆695Updated 2 months ago
- This is a tutorial on how to write an LLVM Pass using the (kind-of) new PassManager. It is compiled from different sources referenced in …☆56Updated 6 years ago
- Core emulator components for Icicle☆240Updated last month
- The fastest Intel-PT decoder for fuzzing☆375Updated last year
- Manipulation, canonicalization and identification of mixed boolean-arithmetic symbolic expressions☆319Updated last year
- VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choo…☆423Updated last month
- Decompiler of LLVM bitcode to C☆89Updated last year
- A fast and lightweight decoder for x86 and x86-64 and encoder for x86-64.☆195Updated last month
- A step-by-step tutorial for building an LLVM sample pass☆218Updated 5 years ago
- A lightweight dynamic instrumentation library☆1,280Updated 6 months ago
- DebugIR: Debugging LLVM-IR Files☆141Updated 9 months ago