borzacchiello / seninjaLinks
symbolic execution plugin for binary ninja
☆334Updated 2 weeks ago
Alternatives and similar repositories for seninja
Users that are interested in seninja are comparing it to the libraries listed below
Sorting:
- Code deobfuscation framework to simplify Mixed Boolean-Arithmetic (MBA) expressions☆322Updated 4 months ago
- A reversing plugin for cross-decompiler collaboration, built on git.☆659Updated last week
- Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR☆200Updated last week
- Core emulator components for Icicle☆238Updated last week
- Triton-based DSE library with loading and exploration capabilities (and more!)☆127Updated this week
- radius2 is a fast binary emulation and symbolic execution framework using radare2☆616Updated 8 months ago
- Native Pcode emulator☆292Updated last year
- Ariadne: Binary Ninja Graph Analysis Plugin☆96Updated 6 months ago
- A research decompiler implemented as a Binary Ninja plugin.☆198Updated last week
- 🐉 Export ghidra decompiled code to dwarf sections inside ELF binary☆214Updated last year
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆159Updated this week
- A binary analysis framework written in Rust.☆168Updated 2 months ago
- Nyxstone: assembly / disassembly library based on LLVM, implemented in C++ with Rust and Python bindings, maintained by emproof.com☆387Updated 9 months ago
- An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis☆226Updated 5 years ago
- Ghidra Extension to integrate BinDiff for function matching☆273Updated 3 months ago
- Quarkslab Bindiffer but not only !☆208Updated 4 months ago
- LLEF is a plugin for LLDB to make it more useful for RE and VR☆419Updated last month
- Generates `.pyi` type stubs for the entire Ghidra API☆151Updated 7 months ago
- ☆326Updated last year
- Manipulation, canonicalization and identification of mixed boolean-arithmetic symbolic expressions☆319Updated last year
- The Decompilation Wiki: info on all things decompilation☆217Updated this week
- Write dynamic binary analysis tools in Python☆118Updated last month
- Use angr in Ghidra☆607Updated last year
- A python symbolic execution framework using radare2's ESIL (Evaluable String Intermediate Language)☆164Updated 2 years ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆115Updated last week
- The fastest Intel-PT decoder for fuzzing☆374Updated last year
- Python 3 bridge to Ghidra's Python scripting☆351Updated 2 years ago
- Binary Type Inference Ghidra Plugin☆165Updated last year
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆113Updated 9 months ago
- ☆124Updated last month