borzacchiello / seninjaLinks
symbolic execution plugin for binary ninja
☆344Updated last week
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☆342Updated this week
- Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR☆206Updated last week
- Core emulator components for Icicle☆278Updated 2 weeks ago
- A reversing plugin for cross-decompiler collaboration, built on git.☆681Updated this week
- Triton-based DSE library with loading and exploration capabilities (and more!)☆135Updated last month
- radius2 is a fast binary emulation and symbolic execution framework using radare2☆621Updated last year
- 🐉 Export ghidra decompiled code to dwarf sections inside ELF binary☆219Updated 2 years ago
- A research decompiler implemented as a Binary Ninja plugin.☆215Updated this week
- ☆330Updated last year
- Use angr in Ghidra☆616Updated last year
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆170Updated last week
- Quarkslab Bindiffer but not only !☆214Updated 8 months ago
- A binary analysis framework written in Rust.☆174Updated 7 months ago
- Write dynamic binary analysis tools in Python☆129Updated 6 months ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆124Updated last week
- Ariadne: Binary Ninja Graph Analysis Plugin☆104Updated 11 months ago
- Native Pcode emulator☆297Updated last year
- Ghidra Extension to integrate BinDiff for function matching☆285Updated 3 months ago
- Generates `.pyi` type stubs for the entire Ghidra API☆151Updated 11 months ago
- Nyxstone: assembly / disassembly library based on LLVM, implemented in C++ with Rust and Python bindings, maintained by emproof.com☆398Updated last year
- A Pythonic Ghidra standard library☆180Updated 3 months ago
- Pyhidra is a Python library that provides direct access to the Ghidra API within a native CPython interpreter using jpype.☆206Updated last year
- An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis☆230Updated 5 years ago
- Ghidra analysis plugin to locate cryptographic constants☆284Updated 2 years ago
- A python symbolic execution framework using radare2's ESIL (Evaluable String Intermediate Language)☆165Updated 3 years ago
- CERT Kaiju is a binary analysis framework extension for the Ghidra software reverse engineering suite. This repository is the primary, ca…☆312Updated 2 weeks ago
- A collection of resources/tools and analyses for the angr binary analysis framework.☆187Updated 3 years ago
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆117Updated last year
- Manipulation, canonicalization and identification of mixed boolean-arithmetic symbolic expressions☆320Updated 2 years ago
- Python 3 bridge to Ghidra's Python scripting☆353Updated 3 years ago