用途：在用户明确选择 Binary Ninja，或其中间表示（IL）对数据流分析有实质帮助，或需要用独立工具交叉验证 IDA/Ghidra/radare2 结果时使用。仅限授权分析。
主要能力：枚举已打开二进制并选择视图；获取二进制状态、入口点、段、导入、导出与代表性字符串；跟踪调用点与交叉引用；使用 HLIL 阅读逻辑、MLIL SSA 分析数据流、LLIL/反汇编保留指令级行为；增量应用名称、注释与类型；支持字节补丁、原型修改与保存文件写入（视为变更操作）。MCP 能力族包括 binary/view 选择、list_imports、list_exports、list_strings、decompile_function、get_il、callers/callees、交叉引用、类型、注释、重命名与字节补丁，应以实际可用工具列表为准。
使用方式：先确认仓库案例范围就绪；检查 skills/tool-index.md 中的 binaryninja。Binary Ninja 为商业软件，需手动安装并持有有效 Vector 35 许可证。打补丁或保存数据库变更时应在副本上操作。集成方式：GUI 或 Python API 优先；社区 MCP 桥仅在明确要求并审查第三方插件边界后使用，HTTP 监听保持 127.0.0.1:9009，默认不开放网络。已审查的社区集成为 fosdickio/binary_ninja_mcp（GPL-3.0，插件元数据版本 1.1.0，最低 Binary Ninja build 4000），非 Vector 35 官方组件。MCP stdio 桥安装命令：npx -y binary-ninja-mcp@1.0.0 --host 127.0.0.1 --port 9009，仅在用户选定的 MCP 客户端注册；需 Binary Ninja 运行、二进制已打开且本地插件端点响应后才可用。Binary Ninja 不可用或许可证/API 无法打开目标时，回退到 ghidra-reverse、ida-reverse 或 radare2。
限制：仅限授权场景；补丁、原型变更与保存写入属变更操作，须按请求执行并保留原始文件；高影响结论需第二证据源或另一反汇编器交叉验证；输出应包含具体地址、函数名、IL 层级、支撑字符串/导入、置信度与复现步骤，保持 Evidence → Finding → Path 链条。其他细节暂未提供。