symbolic execution plugin for binary ninja
Appears on
Quick read
Latest capture 2026-07-29 03:06
0 paths
Agent instructions and tool configuration found in this repository.
No config files detected.
3 observed captures since 2026-06-24. Charts use measured snapshots only.
Stars from first capture +1
All tracked data
Observed snapshots
Observed snapshots
Nearest indexed repositories by embedding similarity.
{Ninja-IDE Is Not Just Another IDE}
BinjaryNinja plugin for a ShellStorm like assembly/disassembly experience
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.
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
