🛠️ Ghidra — 强大的软件逆向工程框架📦 逆向工程｜软件分析｜开源项目

Thu, 17 Sep 2026 07:24:41 GMT

🛠️ Ghidra — 强大的软件逆向工程框架
📦 逆向工程｜软件分析｜开源项目

➤ 由美国国家安全局（NSA）研究部门开发维护
➤ 支持 Windows / macOS / Linux
➤ 支持反汇编与汇编
➤ 支持反编译
➤ 提供图形化代码分析功能
➤ 支持多种处理器指令集
➤ 支持多种可执行文件格式
➤ 支持交互式与自动化分析
➤ 支持脚本编写与自动化处理
➤ 支持 Java / Python 扩展开发
➤ 可开发自定义插件和脚本
➤ 集成数百项软件分析功能

📌 简单说：
👉 Ghidra 是一套由 NSA 开发的开源软件逆向工程框架，集反汇编、反编译、代码分析、图形化分析和脚本自动化等功能于一体，适合进行二进制程序分析与逆向研究。

🔗 GitHub：
项目源码

📂 #Ghidra #逆向工程 #软件分析 #反汇编 #反编译 #二进制分析 #开源项目 #NSA #开发工具

🛡 Reverify — 让 AI 逆向分析不再“一本正经地胡说八道”📦 逆向工程｜ AI工具｜ MCP ｜开源项目

Sun, 06 Sep 2026 03:47:27 GMT

🛡 Reverify — 让 AI 逆向分析不再“一本正经地胡说八道”
📦 逆向工程｜ AI工具｜ MCP ｜开源项目

➤ 面向二进制逆向分析的 AI 防幻觉验证层
➤ 模型负责提出分析假设，工具负责验证结论
➤ 通过真实二进制字节进行结果校验
➤ 支持反汇编、模式匹配与 CPU 模拟验证
➤ 验证结果分为 VERIFIED / REFUTED / INCONCLUSIVE
➤ 提供 CLI + MCP Server 双形态
➤ 支持 Claude Code、Cursor 等 AI Agent 调用
➤ 支持 7 种 Claim 验证类型
➤ Claim 被 REFUTED 时 CLI 返回非零退出码
➤ 支持接入 CI 门禁与 Agent 迭代流程
➤ 默认使用纯 Python 核心，减少重型依赖
➤ 支持 Capstone + Unicorn + LIEF 专业引擎
➤ 支持 PE / ELF / Mach-O 格式解析
➤ 支持 x86 / x64 / ARM / ARM64 反汇编
➤ 支持 AOB 通配符扫描
➤ 支持生成 Frida Hook
➤ 支持 reconstruct 闭环模式
➤ 支持“假设 → 验证 → 修正”的逆向分析流程

📌 简单说：
👉 Reverify 是一个专门用于验证 AI 逆向分析结论的开源工具。AI 可以负责提出结构体、算法或指令行为等假设，但最终结论必须经过真实二进制数据、反汇编、模式匹配或模拟结果验证，从而减少 AI 在二进制分析中的“幻觉”。

🔗 GitHub：
项目源码

📂 #Reverify #逆向工程 #AI防幻觉 #MCP #二进制分析 #恶意软件分析 #开源工具 #AIAgent

二进制分析 | 全网优质资源汇总✨

🛠️ Ghidra — 强大的软件逆向工程框架📦 逆向工程 ｜ 软件分析 ｜ 开源项目

🛡 Reverify — 让 AI 逆向分析不再“一本正经地胡说八道”📦 逆向工程 ｜ AI工具 ｜ MCP ｜ 开源项目

🛠️ Ghidra — 强大的软件逆向工程框架📦 逆向工程｜软件分析｜开源项目

🛡 Reverify — 让 AI 逆向分析不再“一本正经地胡说八道”📦 逆向工程｜ AI工具｜ MCP ｜开源项目