lifting-bits / remill
Library for lifting machine code to LLVM bitcode
☆1,383Updated 9 months ago
Alternatives and similar repositories for remill:
Users that are interested in remill are comparing it to the libraries listed below
- Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode☆2,693Updated 3 years ago
- revng: the core repository of the rev.ng project☆1,442Updated this week
- llvm-mctoll☆842Updated 10 months ago
- A fast and accurate disassembler☆704Updated 2 months ago
- Rellic produces goto-free C output from LLVM bitcode☆557Updated 8 months ago
- A powerful static binary rewriting tool☆1,016Updated 2 weeks ago
- anvill forges beautiful LLVM bitcode out of raw machine code☆349Updated 8 months ago
- Lift machine code to performant LLVM IR☆428Updated 10 months ago
- A Dynamic Binary Instrumentation framework based on LLVM.☆1,503Updated last month
- A lightweight dynamic instrumentation library☆1,237Updated last month
- SymCC: efficient compiler-based symbolic execution☆806Updated last month
- Automated static analysis tools for binary programs☆1,592Updated last month
- Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free…☆1,784Updated 2 months ago
- Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software v…☆3,713Updated this week
- Playing with the Tigress software protection. Break some of its protections and solve their reverse engineering challenges. Automatic deo…☆829Updated last year
- IDA 2016 plugin contest winner! Symbolic Execution just one-click away!☆1,542Updated 8 months ago
- Intermediate Representation for Binary analysis and transformation☆332Updated last week
- RetroWrite -- Retrofitting compiler passes through binary rewriting☆709Updated last week
- Dynamic Instrumentation Tool Platform☆2,805Updated this week
- A Coverage Explorer for Reverse Engineers☆2,353Updated 9 months ago
- An optimizing decompiler☆723Updated 4 years ago
- The X86 Encoder Decoder (XED), is a software library for encoding and decoding X86 (IA32 and Intel64) instructions☆1,468Updated 2 months ago
- dynamic binary analysis via platform emulation☆902Updated last year
- S2E: A platform for multi-path program analysis with selective symbolic execution.☆464Updated 4 months ago
- Binary Analysis Platform☆2,131Updated this week
- CLE Loads Everything (at least, many binary formats!)☆448Updated last week
- KLEE Symbolic Execution Engine☆2,748Updated 4 months ago
- Public API, examples, documentation and issues for Binary Ninja☆1,023Updated this week
- libipt - an Intel(R) Processor Trace decoder library☆679Updated this week
- DyninstAPI: Tools for binary instrumentation, analysis, and modification.☆771Updated last week