工具

morluto/rea

使用智能体对任何事物进行逆向工程，从应用行为到原生二进制文件。

z3prover/z3

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

anchore/syft

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

joernio/joern

基于代码属性图的 C/C++/Java/二进制/JavaScript/Python/Kotlin 开源代码分析平台。Discord https://discord.gg/vv4MH284Hc

anthropics/oss-scanner

在隔离的离线虚拟机中构建已注册的开源仓库，并扫描其安全漏洞，通过电子邮件发送包含复现步骤和建议补丁的发现结果的服务。

neurosaki987/tvm-recover

Devirtualizes Tencent VM .tvm0 sections: lifts VM handlers to guest-level listings and LLVM IR, recovers CFG and dispatch, and patches recovered code…

virustotal/yara-x

用 Rust 重写的 YARA。

owasp-noir/noir

Hunt every Endpoint in your code, expose Shadow APIs, map the Attack Surface.

tamarin-prover/tamarin-prover

用于安全协议的多集重写与约束求解符号验证工具，可证明保密性、认证性和等价性属性。

indalok/rzweb

A complete browser-based reverse engineering platform built on Rizin, running entirely client-side via WebAssembly.

rizinorg/rizin

类 UNIX 逆向工程框架与命令行工具集。

angr/angr

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

dmdhrumilmistry/security-harness

面向 AI 编码代理的多代理静态应用安全审查框架：映射代码库、搜寻漏洞类别、串联并验证发现结果，并输出 SARIF、JSON 和 PDF 报告。

sonarsource/sonarqube

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

mandiant/flare-floss

FLARE 混淆字符串求解器 - 自动从恶意软件中提取混淆字符串。

pwndbg/pwndbg

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

nvidia/skillspector

用于 AI 代理技能的安全扫描器。在安装 Claude Code、Codex 和 MCP 技能之前，检测其中的漏洞、恶意模式、安全风险、提示注入、数据外泄和供应链风险。