borzacchiello / seninjaLinks
symbolic execution plugin for binary ninja
☆323Updated 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☆308Updated last month
- Triton-based DSE library with loading and exploration capabilities (and more!)☆120Updated 3 weeks ago
- Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR☆194Updated this week
- Core emulator components for Icicle☆221Updated 2 weeks ago
- An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis☆219Updated 4 years ago
- 🐉 Export ghidra decompiled code to dwarf sections inside ELF binary☆207Updated last year
- radius2 is a fast binary emulation and symbolic execution framework using radare2☆613Updated 5 months ago
- ☆318Updated 11 months ago
- Use angr in Ghidra☆584Updated 10 months ago
- Ghidra Extension to integrate BinDiff for function matching☆268Updated last week
- Run IDA scripts headlessly.☆164Updated last month
- A binary analysis framework written in Rust.☆169Updated 3 weeks ago
- A reversing plugin for cross-decompiler collaboration, built on git.☆643Updated last month
- A collection of resources/tools and analyses for the angr binary analysis framework.☆177Updated 2 years ago
- Ariadne: Binary Ninja Graph Analysis Plugin☆89Updated 3 months ago
- Nyxstone: assembly / disassembly library based on LLVM, implemented in C++ with Rust and Python bindings, maintained by emproof.com☆365Updated 5 months ago
- Generates `.pyi` type stubs for the entire Ghidra API☆152Updated 3 months ago
- A python symbolic execution framework using radare2's ESIL (Evaluable String Intermediate Language)☆166Updated 2 years ago
- An awesome & curated list of binary rewriting papers☆238Updated 3 years ago
- Manipulation, canonicalization and identification of mixed boolean-arithmetic symbolic expressions☆312Updated last year
- A research decompiler implemented as a Binary Ninja plugin.☆193Updated 3 weeks ago
- Snapshot-based coverage-guided windows kernel fuzzer☆319Updated 3 years ago
- Native Pcode emulator☆288Updated 10 months ago
- anvill forges beautiful LLVM bitcode out of raw machine code☆350Updated 8 months ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆105Updated this week
- Quokka: A Fast and Accurate Binary Exporter☆193Updated this week
- Binary Type Inference Ghidra Plugin☆161Updated last year
- Quarkslab Bindiffer but not only !☆202Updated 3 weeks ago
- Pyhidra is a Python library that provides direct access to the Ghidra API within a native CPython interpreter using jpype.☆208Updated 7 months ago
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆152Updated this week