lifting-bits / remillLinks
Library for lifting machine code to LLVM bitcode
☆1,484Updated this week
Alternatives and similar repositories for remill
Users that are interested in remill are comparing it to the libraries listed below
Sorting:
- Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode☆2,727Updated 3 years ago
- llvm-mctoll☆867Updated last year
- revng: the core repository of the rev.ng project☆1,580Updated last week
- Rellic produces goto-free C output from LLVM bitcode☆572Updated this week
- A fast and accurate disassembler☆725Updated last week
- A powerful static binary rewriting tool☆1,055Updated last week
- Lift machine code to performant LLVM IR☆455Updated last year
- A lightweight dynamic instrumentation library☆1,289Updated 7 months ago
- anvill forges beautiful LLVM bitcode out of raw machine code☆354Updated last year
- A Dynamic Binary Instrumentation framework based on LLVM.☆1,649Updated 3 weeks ago
- SymCC: efficient compiler-based symbolic execution☆844Updated 6 months ago
- RetroWrite -- Retrofitting compiler passes through binary rewriting☆727Updated 6 months ago
- Automated static analysis tools for binary programs☆1,644Updated last week
- Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software v…☆3,911Updated 3 weeks ago
- Dynamic Instrumentation Tool Platform☆2,943Updated this week
- Playing with the Tigress software protection. Break some of its protections and solve their reverse engineering challenges. Automatic deo…☆856Updated last year
- S2E: A platform for multi-path program analysis with selective symbolic execution.☆497Updated last month
- The X86 Encoder Decoder (XED), is a software library for encoding and decoding X86 (IA32 and Intel64) instructions☆1,524Updated 5 months ago
- Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free…☆1,835Updated 8 months ago
- DyninstAPI: Tools for binary instrumentation, analysis, and modification.☆804Updated this week
- Binary Analysis Platform☆2,184Updated 6 months ago
- An optimizing decompiler☆733Updated 4 years ago
- Intermediate Representation for Binary analysis and transformation☆345Updated last week
- Keystone assembler framework: Core (Arm, Arm64, Hexagon, Mips, PowerPC, Sparc, SystemZ & X86) + bindings☆2,500Updated 6 months ago
- CLE Loads Everything (at least, many binary formats!)☆468Updated last week
- A LLVM-based static analysis framework.☆1,016Updated last week
- IDA 2016 plugin contest winner! Symbolic Execution just one-click away!☆1,592Updated 5 months ago
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆583Updated 7 months ago
- Public API, examples, documentation and issues for Binary Ninja☆1,140Updated this week
- The official angr GUI.☆1,077Updated this week