borzacchiello / seninjaLinks
symbolic execution plugin for binary ninja
☆326Updated last month
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☆312Updated last month
- Core emulator components for Icicle☆232Updated this week
- Triton-based DSE library with loading and exploration capabilities (and more!)☆121Updated last month
- ☆320Updated last year
- Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR☆194Updated last week
- radius2 is a fast binary emulation and symbolic execution framework using radare2☆615Updated 6 months ago
- 🐉 Export ghidra decompiled code to dwarf sections inside ELF binary☆211Updated last year
- An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis☆221Updated 5 years ago
- A collection of resources/tools and analyses for the angr binary analysis framework.☆177Updated 2 years ago
- A binary analysis framework written in Rust.☆170Updated last month
- Nyxstone: assembly / disassembly library based on LLVM, implemented in C++ with Rust and Python bindings, maintained by emproof.com☆366Updated 6 months ago
- Use angr in Ghidra☆585Updated 10 months ago
- Quarkslab Bindiffer but not only !☆202Updated last month
- A python symbolic execution framework using radare2's ESIL (Evaluable String Intermediate Language)☆166Updated 2 years ago
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆155Updated last week
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆107Updated 3 weeks ago
- Generates `.pyi` type stubs for the entire Ghidra API☆152Updated 4 months ago
- A reversing plugin for cross-decompiler collaboration, built on git.☆647Updated 3 weeks ago
- Run IDA scripts headlessly.☆165Updated 2 months ago
- Ghidra Extension to integrate BinDiff for function matching☆269Updated 3 weeks ago
- Binary Type Inference Ghidra Plugin☆161Updated last year
- Native Pcode emulator☆288Updated 10 months ago
- A research decompiler implemented as a Binary Ninja plugin.☆195Updated this week
- Ariadne: Binary Ninja Graph Analysis Plugin☆93Updated 4 months ago
- LLEF is a plugin for LLDB to make it more useful for RE and VR☆405Updated 2 months ago
- CLE Loads Everything (at least, many binary formats!)☆451Updated this week
- SymQEMU: Compilation-based symbolic execution for binaries☆348Updated last month
- Write dynamic binary analysis tools in Python☆117Updated 2 weeks ago
- An awesome & curated list of binary rewriting papers☆240Updated 3 years ago
- ☆183Updated last year