lifting-bits / remillLinks
Library for lifting machine code to LLVM bitcode
☆1,472Updated last month
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,723Updated 3 years ago
- llvm-mctoll☆866Updated last year
- revng: the core repository of the rev.ng project☆1,563Updated last week
- A fast and accurate disassembler☆722Updated 2 weeks ago
- Rellic produces goto-free C output from LLVM bitcode☆572Updated 5 months ago
- A powerful static binary rewriting tool☆1,051Updated 6 months ago
- Lift machine code to performant LLVM IR☆452Updated last year
- anvill forges beautiful LLVM bitcode out of raw machine code☆354Updated last year
- A lightweight dynamic instrumentation library☆1,285Updated 6 months ago
- A Dynamic Binary Instrumentation framework based on LLVM.☆1,640Updated last week
- Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software v…☆3,892Updated last week
- SymCC: efficient compiler-based symbolic execution☆840Updated 5 months ago
- Playing with the Tigress software protection. Break some of its protections and solve their reverse engineering challenges. Automatic deo…☆855Updated last year
- Binary Analysis Platform☆2,176Updated 5 months ago
- RetroWrite -- Retrofitting compiler passes through binary rewriting☆725Updated 5 months ago
- Automated static analysis tools for binary programs☆1,637Updated 2 months ago
- Dynamic Instrumentation Tool Platform☆2,917Updated this week
- The X86 Encoder Decoder (XED), is a software library for encoding and decoding X86 (IA32 and Intel64) instructions☆1,519Updated 4 months ago
- Keystone assembler framework: Core (Arm, Arm64, Hexagon, Mips, PowerPC, Sparc, SystemZ & X86) + bindings☆2,491Updated 6 months ago
- Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free…☆1,833Updated 7 months ago
- DyninstAPI: Tools for binary instrumentation, analysis, and modification.☆803Updated this week
- IDA 2016 plugin contest winner! Symbolic Execution just one-click away!☆1,588Updated 4 months ago
- The official angr GUI.☆1,066Updated this week
- S2E: A platform for multi-path program analysis with selective symbolic execution.☆491Updated 2 weeks ago
- KLEE Symbolic Execution Engine☆2,839Updated 3 months ago
- An optimizing decompiler☆729Updated 4 years ago
- Intermediate Representation for Binary analysis and transformation☆345Updated 2 weeks ago
- A Coverage Explorer for Reverse Engineers☆2,429Updated last year
- Ghidra C++ Class and Run Time Type Information Analyzer☆636Updated 2 years ago
- A LLVM-based static analysis framework.☆1,009Updated last week