工具

ytisf/thezoo

精心策划的实时恶意软件样本和源代码库，用于教育性恶意软件分析和研究，配有组织化的数据库和用于检索的CLI工具。

mrexodia/ida-pro-mcp

AI驱动的逆向工程助手，通过MCP将IDA Pro与语言模型连接起来。

z3prover/z3

高性能SMT求解器，用于自动定理证明、约束求解和程序验证。支持多种理论和语言绑定，用于形式化分析。

virustotal/yara

模式匹配的瑞士军刀

anchore/grype

一个用于容器镜像和文件系统的漏洞扫描器

vercel-labs/deepsec

基于智能体的漏洞扫描器，专为大型代码库设计。利用LLM通过正则匹配器和AI调查发现难以检测的安全问题，支持CI/PR集成和分布式执行。

capstone-engine/capstone

多架构反汇编框架，提供轻量级、线程安全的 API，用于跨 20 多种硬件架构的二进制分析、逆向工程和恶意软件研究。

pwndbg/pwndbg

借助 GDB 和 LLDB 轻松实现漏洞利用开发与逆向工程

angr/angr

一个强大且用户友好的二进制分析平台！

quay/clair

容器漏洞静态分析

lauriewired/ghidramcp

用于 Ghidra 的 MCP 服务器

sonarsource/sonarqube

代码质量与静态分析平台，具备质量门禁、多语言扫描以及以安全为核心的规则，可在CI/CD工作流中检测漏洞和可维护性问题。

horsicq/detect-it-easy

用于确定文件类型的程序，适用于 Windows、Linux 和 MacOS。

dnspyex/dnspy

知名 .NET 调试器和程序集编辑器 dnSpy 的非官方复兴版

anchore/syft

用于从容器镜像和文件系统生成软件物料清单（SBOM）的 CLI 工具和库

bridgecrewio/checkov

基础设施即代码的静态分析工具，可在构建时检测跨Terraform、Kubernetes、CloudFormation和容器镜像的云配置错误、漏洞和机密信息。

mandiant/flare-vm

一套适用于Windows系统的软件安装脚本集合，让您能够轻松地在虚拟机上设置并维护逆向工程环境。