静态分析

atomdrift-project/scan

0-day malware detection for binaries, source & scripts (that doesn't suck)

anchore/grype

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

cisco-ai-defense/defenseclaw

Security Governance for Agentic AI

z3prover/z3

High-performance SMT solver for automated theorem proving, constraint solving, and program verification. Supports multiple theories and language…

radareorg/radare2

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

facebook/mariana-trench

一个专注于安全的 Android 和 Java 应用程序静态分析工具。

hashgraph-online/hol-guard

Open-source antivirus for AI agents: block risky tools, secret access, prompt injection, malicious packages, MCP servers, plugins, and skills at…

skylot/jadx

命令行和GUI工具，用于将Android Dex和APK文件反编译为可读的Java源代码，支持资源解码、反混淆和Smali调试功能。

praetorian-inc/titus

高性能机密扫描器。命令行工具、Go 语言库、Burp Suite 扩展和 Chrome 扩展。487条检测规则，支持实时凭据验证。

rtkwlf/wolf-tools

扫描 Windows、Linux 和 macOS 主机，查找包含 JndiLookup.class 的 Java 包，以检测 Log4Shell（CVE-2021-44228、CVE-2021-45046）暴露情况并报告 JSON 结果。

sonarsource/sonarqube

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

cisco-ai-defense/skill-scanner

Security Scanner for Agent Skills

nowsecure/r2frida

Radare2 和 Frida 强强联手。

idamcp/idamcp

将 IDA Pro 与 AI 智能体集成的 MCP 服务器，具备用于多会话管理的无状态网关、用于二进制分析的关系型 SQL 查询引擎，以及架构无关的反汇编与补丁工具。

virustotal/yara-x

用 Rust 重写的 YARA。

ch0pin/rdx

A native APK and DEX decompiler written in Rust