lifting-bits / remillLinks
Library for lifting machine code to LLVM bitcode
☆1,406Updated last 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,696Updated 3 years ago
- revng: the core repository of the rev.ng project☆1,470Updated 3 weeks ago
- llvm-mctoll☆849Updated 11 months ago
- Rellic produces goto-free C output from LLVM bitcode☆560Updated last week
- A fast and accurate disassembler☆703Updated 3 months ago
- A powerful static binary rewriting tool☆1,013Updated last month
- A lightweight dynamic instrumentation library☆1,253Updated 2 months ago
- anvill forges beautiful LLVM bitcode out of raw machine code☆350Updated 8 months ago
- Lift machine code to performant LLVM IR☆432Updated 11 months ago
- A Dynamic Binary Instrumentation framework based on LLVM.☆1,516Updated 2 months ago
- Automated static analysis tools for binary programs☆1,602Updated 2 weeks ago
- Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free…☆1,800Updated 3 months ago
- IDA 2016 plugin contest winner! Symbolic Execution just one-click away!☆1,545Updated 8 months ago
- SymCC: efficient compiler-based symbolic execution☆814Updated 3 weeks ago
- Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software v…☆3,742Updated last week
- RetroWrite -- Retrofitting compiler passes through binary rewriting☆711Updated last month
- A Coverage Explorer for Reverse Engineers☆2,364Updated 10 months ago
- Keystone assembler framework: Core (Arm, Arm64, Hexagon, Mips, PowerPC, Sparc, SystemZ & X86) + bindings☆2,412Updated last month
- Playing with the Tigress software protection. Break some of its protections and solve their reverse engineering challenges. Automatic deo…☆831Updated last year
- An optimizing decompiler☆727Updated 4 years ago
- Intermediate Representation for Binary analysis and transformation☆336Updated 3 weeks ago
- Binary Analysis Platform☆2,139Updated last month
- Public API, examples, documentation and issues for Binary Ninja☆1,040Updated this week
- Export disassemblies into Protocol Buffers☆1,107Updated last month
- S2E: A platform for multi-path program analysis with selective symbolic execution.☆474Updated 5 months ago
- CLE Loads Everything (at least, many binary formats!)☆449Updated this week
- Dynamic Instrumentation Tool Platform☆2,833Updated this week
- The X86 Encoder Decoder (XED), is a software library for encoding and decoding X86 (IA32 and Intel64) instructions☆1,474Updated 2 months ago
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆565Updated last month
- dynamic binary analysis via platform emulation☆905Updated 2 years ago