symbolic execution plugin for binary ninja
Appears on
Quick read
Latest capture 2026-10-13 03:11
Archive status reflects the last catalog sync, not a maintenance assessment. Check recent releases, issue responses, and fit for your project with the repository shortlisting checklist.
0 paths
Agent instructions and tool configuration found in this repository.
No config files detected.
5 observed captures since 2026-06-24. Observed captures are shown by default.
Stars from first capture 0
Observed captures only
All tracked data
Observed snapshots
Observed snapshots
Nearest indexed repositories by embedding similarity.
{Ninja-IDE Is Not Just Another IDE}
MIT IEEE URTC 2024. GSET 2024. Repository for the "MBASED: Practical Simplifications of Mixed Boolean-Arithmetic Obfuscation". A Binary Ninja decompiler plugin taking ideas from compiler construction to simplify obfuscated boolean expressions.
Plugin interface for remote communications with Binary Ninja database and MCP server for interfacing with LLMs.
BinjaryNinja plugin for a ShellStorm like assembly/disassembly experience
A Binary Ninja plugin containing an MCP server that enables seamless integration with your favorite LLM/MCP client.
Create and find signatures in Binary Ninja
