revng / orchestra
rev.ng configuration for orchestra. The starting point for any development.
☆36Updated this week
Alternatives and similar repositories for orchestra:
Users that are interested in orchestra are comparing it to the libraries listed below
- A (SLEIGH) disassembler that supports multiple architectures☆83Updated 3 years ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆31Updated this week
- A binary analysis framework written in Rust.☆169Updated last week
- Ghidra P-Code emulation and static LLVM lifting in Python☆31Updated 3 years ago
- ☆19Updated 7 months ago
- ☆58Updated 2 years ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- The CRISPR static binary patcher☆37Updated 4 years ago
- radius is a fast binary emulation and symbolic execution framework using radare2☆45Updated 2 years ago
- tool for multi-execution jump coverage introspection☆64Updated 3 months ago
- A Ghidra extension for scripting with GraalVM languages, including Javascript, Python3, R, and Ruby.☆59Updated 4 years ago
- Tantō slices functions into more consumable chunks☆64Updated 2 weeks ago
- A Ghidra plugin for locating object file boundaries.☆123Updated 5 months ago
- Hashashin: A Fuzzy Matching Tool for Binary Ninja☆93Updated last year
- Fast, parallel, cross-variant ROP/JOP gadget search for x86/x64 binaries.☆92Updated last year
- ☆12Updated last year
- QuarkslaB Dynamic Linker library☆82Updated 4 months ago
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Updated 4 months ago
- Dr. Disassembler☆35Updated 3 years ago
- ☆83Updated last month
- Some Rust bindings for Binary Ninja☆30Updated last year
- Triton-based DSE library with loading and exploration capabilities (and more!)☆117Updated this week
- NinjaDiff is a binary diffing plugin for Binary Ninja. Read more on our blog, and contribute code & improvements!☆63Updated 3 years ago
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆20Updated this week
- Ariadne: Binary Ninja Graph Analysis Plugin☆89Updated 2 months ago
- Convert low ghidra pcode to verifiable C☆22Updated 7 months ago
- Rewriting functions in compiled binaries using McSema☆88Updated 5 years ago
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆20Updated last week
- SMT Modeling for Ghidra's PCODE☆25Updated last week
- A div-less, mul-less, atomic-less `rv64i` compiler toolchain using purely clang, musl, and compiler-rt☆30Updated 5 years ago