borzacchiello / seninja
symbolic execution plugin for binary ninja
☆309Updated 11 months ago
Alternatives and similar repositories for seninja:
Users that are interested in seninja are comparing it to the libraries listed below
- Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR☆192Updated this week
- An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis☆217Updated 4 years ago
- Code deobfuscation framework to simplify Mixed Boolean-Arithmetic (MBA) expressions☆300Updated 2 months ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆113Updated 2 months ago
- Pyhidra is a Python library that provides direct access to the Ghidra API within a native CPython interpreter using jpype.☆191Updated 3 months ago
- ☆314Updated 8 months ago
- A binary analysis framework written in Rust.☆167Updated this week
- An awesome & curated list of binary rewriting papers☆228Updated 2 years ago
- SymQEMU: Compilation-based symbolic execution for binaries☆341Updated 3 months ago
- A collection of resources/tools and analyses for the angr binary analysis framework.☆172Updated 2 years ago
- A reversing plugin for cross-decompiler collaboration, built on git.☆610Updated last week
- Core emulator components for Icicle☆139Updated last month
- Python 3 bridge to Ghidra's Python scripting☆349Updated 2 years ago
- Generates `.pyi` type stubs for the entire Ghidra API☆151Updated 2 weeks ago
- Native Pcode emulator☆285Updated 6 months ago
- 🐉 Export ghidra decompiled code to dwarf sections inside ELF binary☆191Updated last year
- A research decompiler implemented as a Binary Ninja plugin.☆189Updated last month
- radius2 is a fast binary emulation and symbolic execution framework using radare2☆598Updated 2 months ago
- Ghidra Extension to integrate BinDiff for function matching☆263Updated this week
- A python symbolic execution framework using radare2's ESIL (Evaluable String Intermediate Language)☆163Updated 2 years ago
- ☆118Updated 2 weeks ago
- Snapshot-based coverage-guided windows kernel fuzzer☆315Updated 3 years ago
- The fastest Intel-PT decoder for fuzzing☆366Updated last year
- LLEF is a plugin for LLDB to make it more useful for RE and VR☆376Updated 3 weeks ago
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆149Updated this week
- Use angr in Ghidra☆570Updated 6 months ago
- Quarkslab Bindiffer but not only !☆194Updated last month
- AFL binary instrumentation☆294Updated last month
- Ariadne: Binary Ninja Graph Analysis Plugin☆84Updated last week
- BINSEC binary-level open-source platform☆335Updated this week