lifting-bits / remillLinks
Library for lifting machine code to LLVM bitcode
☆1,424Updated last week
Alternatives and similar repositories for remill
Users that are interested in remill are comparing it to the libraries listed below
Sorting:
- llvm-mctoll☆854Updated last year
- Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode☆2,704Updated 3 years ago
- revng: the core repository of the rev.ng project☆1,488Updated last week
- Rellic produces goto-free C output from LLVM bitcode☆563Updated last month
- A fast and accurate disassembler☆708Updated this week
- A powerful static binary rewriting tool☆1,033Updated 2 months ago
- Lift machine code to performant LLVM IR☆439Updated last year
- anvill forges beautiful LLVM bitcode out of raw machine code☆352Updated 10 months ago
- A lightweight dynamic instrumentation library☆1,263Updated 3 months ago
- SymCC: efficient compiler-based symbolic execution☆824Updated 2 months ago
- A Dynamic Binary Instrumentation framework based on LLVM.☆1,551Updated 3 weeks ago
- Automated static analysis tools for binary programs☆1,613Updated last month
- RetroWrite -- Retrofitting compiler passes through binary rewriting☆717Updated 2 months ago
- Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software v…☆3,798Updated last month
- Playing with the Tigress software protection. Break some of its protections and solve their reverse engineering challenges. Automatic deo…☆837Updated last year
- DyninstAPI: Tools for binary instrumentation, analysis, and modification.☆789Updated this week
- An optimizing decompiler☆727Updated 4 years ago
- Dynamic Instrumentation Tool Platform☆2,856Updated this week
- Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free…☆1,813Updated 4 months ago
- IDA 2016 plugin contest winner! Symbolic Execution just one-click away!☆1,563Updated last month
- S2E: A platform for multi-path program analysis with selective symbolic execution.☆480Updated 7 months ago
- KLEE Symbolic Execution Engine☆2,799Updated this week
- Binary Analysis Platform☆2,152Updated 2 months ago
- Intermediate Representation for Binary analysis and transformation☆340Updated last week
- Keystone assembler framework: Core (Arm, Arm64, Hexagon, Mips, PowerPC, Sparc, SystemZ & X86) + bindings☆2,444Updated 2 months ago
- The X86 Encoder Decoder (XED), is a software library for encoding and decoding X86 (IA32 and Intel64) instructions☆1,484Updated last month
- A LLVM-based static analysis framework.☆991Updated last week
- Ghidra C++ Class and Run Time Type Information Analyzer☆637Updated last year
- libipt - an Intel(R) Processor Trace decoder library☆682Updated this week
- Public API, examples, documentation and issues for Binary Ninja☆1,057Updated this week