borzacchiello / seninja
symbolic execution plugin for binary ninja
☆315Updated 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☆301Updated 4 months ago
- A binary analysis framework written in Rust.☆168Updated this week
- An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis☆217Updated 4 years ago
- Quarkslab Bindiffer but not only !☆200Updated last month
- radius2 is a fast binary emulation and symbolic execution framework using radare2☆610Updated 4 months ago
- Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR☆190Updated this week
- Triton-based DSE library with loading and exploration capabilities (and more!)☆116Updated 4 months ago
- ☆318Updated 10 months ago
- A collection of resources/tools and analyses for the angr binary analysis framework.☆175Updated 2 years ago
- Native Pcode emulator☆286Updated 8 months ago
- A reversing plugin for cross-decompiler collaboration, built on git.☆634Updated this week
- 🐉 Export ghidra decompiled code to dwarf sections inside ELF binary☆192Updated last year
- A python symbolic execution framework using radare2's ESIL (Evaluable String Intermediate Language)☆164Updated 2 years ago
- Snapshot-based coverage-guided windows kernel fuzzer☆317Updated 3 years ago
- Use angr in Ghidra☆580Updated 8 months ago
- Core emulator components for Icicle☆199Updated last week
- SymQEMU: Compilation-based symbolic execution for binaries☆341Updated 5 months ago
- Ariadne: Binary Ninja Graph Analysis Plugin☆88Updated 2 months ago
- Nyxstone: assembly / disassembly library based on LLVM, implemented in C++ with Rust and Python bindings, maintained by emproof.com☆361Updated 4 months ago
- Ghidra Extension to integrate BinDiff for function matching☆264Updated 2 months ago
- Generates `.pyi` type stubs for the entire Ghidra API☆152Updated 2 months ago
- An awesome & curated list of binary rewriting papers☆233Updated 3 years ago
- Port of devttyS0's IDA plugins to the Ghidra plugin framework, new plugins as well.☆486Updated 3 years ago
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆151Updated this week
- ROPfuscator is a fine-grained code obfuscation framework for C/C++ programs using ROP (return-oriented programming).☆426Updated 11 months ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆103Updated this week
- ☆180Updated last year
- ☆121Updated 2 months ago
- Binary code coverage visualizer plugin for Ghidra☆290Updated 9 months ago
- The fastest Intel-PT decoder for fuzzing☆370Updated last year