revng / orchestra
rev.ng configuration for orchestra. The starting point for any development.
☆32Updated last week
Related projects ⓘ
Alternatives and complementary repositories for orchestra
- Some Rust bindings for Binary Ninja☆30Updated last year
- VSCode extension for the LLVM IR language☆59Updated 5 months ago
- KLEE Symbolic Execution Engine☆61Updated 5 years ago
- The CRISPR static binary patcher☆37Updated 4 years ago
- Dr. Disassembler☆35Updated 2 years ago
- Ghidra P-Code emulation and static LLVM lifting in Python☆29Updated 2 years ago
- A Ghidra extension for scripting with GraalVM languages, including Javascript, Python3, R, and Ruby.☆59Updated 3 years ago
- Build your emulation environment as needed☆64Updated 3 years ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆25Updated last week
- UI plugin integrating Kaitai Struct (kaitai.io) in Binja☆38Updated 3 weeks ago
- tool for multi-execution jump coverage introspection☆63Updated last week
- A symbolic execution engine for LLVM IR☆34Updated 2 years ago
- Intel x86 bare metal hypervisor for researching snapshot fuzzing ideas.☆166Updated 3 years ago
- NinjaDiff is a binary diffing plugin for Binary Ninja. Read more on our blog, and contribute code & improvements!☆57Updated 2 years ago
- A simple library focusing on demangling symbols for different programing languages☆41Updated 3 years ago
- ☆82Updated 10 months ago
- x86/x64 architecture plugin☆39Updated 8 months ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆63Updated 8 months ago
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆47Updated 4 months ago
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆17Updated this week
- Hashashin: A Fuzzy Matching Tool for Binary Ninja☆88Updated last year
- Rewriting functions in compiled binaries using McSema☆87Updated 5 years ago
- Repository for officially supported Binary Ninja plugins☆49Updated 3 weeks ago
- Fast, parallel, cross-variant ROP/JOP gadget search for x86/x64 binaries.☆84Updated 11 months ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- Access rizin via pipe from any programming language!☆34Updated last week
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆42Updated 4 months ago
- plugin for storing and using snippets of useful Binja script☆22Updated 2 months ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…☆45Updated 4 years ago