borzacchiello / seninja
symbolic execution plugin for binary ninja
☆314Updated last year
Alternatives and similar repositories for seninja:
Users that are interested in seninja are comparing it to the libraries listed below
- Code deobfuscation framework to simplify Mixed Boolean-Arithmetic (MBA) expressions☆300Updated 3 months ago
- Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR☆193Updated last week
- An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis☆218Updated 4 years ago
- 🐉 Export ghidra decompiled code to dwarf sections inside ELF binary☆191Updated last year
- A reversing plugin for cross-decompiler collaboration, built on git.☆622Updated this week
- Triton-based DSE library with loading and exploration capabilities (and more!)☆114Updated 3 months ago
- radius2 is a fast binary emulation and symbolic execution framework using radare2☆602Updated 3 months ago
- ☆315Updated 9 months ago
- Native Pcode emulator☆285Updated 7 months ago
- Quarkslab Bindiffer but not only !☆197Updated 2 weeks ago
- Ariadne: Binary Ninja Graph Analysis Plugin☆88Updated last month
- A binary analysis framework written in Rust.☆168Updated last week
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆81Updated last month
- CLE Loads Everything (at least, many binary formats!)☆436Updated this week
- An awesome & curated list of binary rewriting papers☆230Updated 2 years ago
- Nyxstone: assembly / disassembly library based on LLVM, implemented in C++ with Rust and Python bindings, maintained by emproof.com☆350Updated 3 months ago
- A collection of resources/tools and analyses for the angr binary analysis framework.☆173Updated 2 years ago
- Use angr in Ghidra☆574Updated 7 months ago
- Binary Type Inference Ghidra Plugin☆154Updated last year
- Ghidra Extension to integrate BinDiff for function matching☆263Updated last month
- Core emulator components for Icicle☆142Updated last month
- Generates `.pyi` type stubs for the entire Ghidra API☆151Updated last month
- SymQEMU: Compilation-based symbolic execution for binaries☆342Updated 4 months ago
- Pyhidra is a Python library that provides direct access to the Ghidra API within a native CPython interpreter using jpype.☆199Updated 4 months ago
- A python symbolic execution framework using radare2's ESIL (Evaluable String Intermediate Language)☆163Updated 2 years ago
- A research decompiler implemented as a Binary Ninja plugin.☆192Updated 2 months ago
- Snapshot-based coverage-guided windows kernel fuzzer☆317Updated 3 years ago
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆151Updated this week
- ☆119Updated last month
- Run IDA scripts headlessly.☆139Updated 3 months ago