borzacchiello / seninja
symbolic execution plugin for binary ninja
☆250Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for seninja
- Ghidra Extension to integrate BinDiff for function matching☆261Updated last month
- Triton-based DSE library with loading and exploration capabilities (and more!)☆107Updated this week
- Code deobfuscation framework to simplify Mixed Boolean-Arithmetic (MBA) expressions☆284Updated this week
- Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR☆184Updated this week
- A binary analysis framework written in Rust.☆162Updated 3 weeks ago
- Generates `.pyi` type stubs for the entire Ghidra API☆145Updated 2 weeks ago
- An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis☆211Updated 4 years ago
- Core emulator components for Icicle☆127Updated last month
- ☆115Updated last month
- A python symbolic execution framework using radare2's ESIL (Evaluable String Intermediate Language)☆159Updated last year
- Native Pcode emulator☆280Updated 3 months ago
- A research decompiler implemented as a Binary Ninja plugin.☆176Updated this week
- Control-flow-flattening and string deobfuscator☆147Updated 3 years ago
- Manipulation, canonicalization and identification of mixed boolean-arithmetic symbolic expressions☆302Updated 10 months ago
- A collection of resources/tools and analyses for the angr binary analysis framework.☆166Updated 2 years ago
- ☆189Updated 2 years ago
- Use angr in Ghidra☆562Updated 3 months ago
- A /proc/mem IDA loader to snapshot a running process☆160Updated 2 years ago
- Binary code coverage visualizer plugin for Ghidra☆286Updated 4 months ago
- ☆306Updated 5 months ago
- Ghidra analysis plugin to locate cryptographic constants☆248Updated last year
- Pyhidra is a Python library that provides direct access to the Ghidra API within a native CPython interpreter using jpype.☆184Updated 3 weeks ago
- Bindings for Microsoft WinDBG TTD☆213Updated last year
- Display Hex-Rays Microcode☆232Updated 2 years ago
- Python 3 bridge to Ghidra's Python scripting☆343Updated last year
- Port of devttyS0's IDA plugins to the Ghidra plugin framework, new plugins as well.☆468Updated 3 years ago
- Nampa - FLIRT for (binary) ninjas☆89Updated 2 years ago
- Multi-tool reverse engineering collaboration solution.☆134Updated 7 months ago
- IDA command palette & more (Ctrl+Shift+P, Ctrl+P)☆151Updated 3 weeks ago
- HexRays ctree visualization plugin☆377Updated 2 months ago