revng / orchestra
rev.ng configuration for orchestra. The starting point for any development.
☆33Updated 2 months ago
Alternatives and similar repositories for orchestra:
Users that are interested in orchestra are comparing it to the libraries listed below
- The CRISPR static binary patcher☆37Updated 4 years ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆26Updated last week
- Ghidra P-Code emulation and static LLVM lifting in Python☆30Updated 2 years ago
- ☆58Updated 2 years ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆43Updated last month
- tool for multi-execution jump coverage introspection☆63Updated 3 weeks ago
- Dr. Disassembler☆35Updated 3 years ago
- A (SLEIGH) disassembler that supports multiple architectures☆81Updated 2 years ago
- Rewriting functions in compiled binaries using McSema☆88Updated 5 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- QuarkslaB Dynamic Linker library☆80Updated 2 months ago
- A Ghidra extension for scripting with GraalVM languages, including Javascript, Python3, R, and Ruby.☆60Updated 3 years ago
- NinjaDiff is a binary diffing plugin for Binary Ninja. Read more on our blog, and contribute code & improvements!☆61Updated 3 years ago
- A Ghidra plugin for locating object file boundaries.☆122Updated 2 months ago
- Fast, parallel, cross-variant ROP/JOP gadget search for x86/x64 binaries.☆89Updated last year
- Ariadne: Binary Ninja Graph Analysis Plugin☆84Updated this week
- A div-less, mul-less, atomic-less `rv64i` compiler toolchain using purely clang, musl, and compiler-rt☆29Updated 5 years ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆19Updated this week
- Target-centric program analysis.☆73Updated this week
- Binary Type Inference Ghidra Plugin☆151Updated last year
- AIL: The angr Intermediate Language.☆31Updated last week
- x86/x64 architecture plugin☆39Updated 11 months ago
- Build your emulation environment as needed☆65Updated 3 years ago
- radius is a fast binary emulation and symbolic execution framework using radare2☆45Updated 2 years ago
- ARMv7 architecture plugin☆40Updated 11 months ago
- Hashashin: A Fuzzy Matching Tool for Binary Ninja☆89Updated last year
- Triton-based DSE library with loading and exploration capabilities (and more!)☆113Updated 2 months ago
- Nampa - FLIRT for (binary) ninjas☆94Updated 2 months ago
- Scalable Validator for Binary Lifters☆54Updated 4 years ago