静态分析

0xajstrike/emsign-trust-scan

针对 2026 年 10 月 eMudhra/emSign CA 密钥泄露事件的离线扫描器，可在操作系统信任存储、CA 证书包、Java cacerts、NSS 和容器镜像中查找受影响的证书。

lzh0082-cloud/code-detection

一个复现包，研究 LLM 漏洞审计器如何采信静态分析证据，包含 tree-sitter C/C++ 前端、受控证据条件和统计分析代码。

aleph-void/ghidra-rare

一个用于罕见处理器 ISA 的 SLEIGH 支持仓库

endrazine/rocq-cve-poc-12155

CVE-2020-37268 — Rocq/Coq Print Assumptions 通过参数内联省略不安全宇宙检查

endrazine/rocq-cve-poc-21682

CVE-2026-72703 — Rocq Guard Checker 通过未检查的交叉调用接受非终止 Fixpoint

nanashili/rea-rust

REA 的 Rust 移植版，一款仅本地运行、支持 CLI/MCP 工作流并内置原生 Ghidra worker 的逆向工程工具

adam-atlassoftware/kraken

基于 Ghidra 反编译器构建的逆向工程工作台，采用原生无 Java 引擎，具备 AI 辅助函数分析、字节修补、沙箱模拟以及 CLI/MCP 自动化功能。

apaonum/brotli-cve-check

用于扫描项目中 CVE-2026-111497（Brotli）漏洞的 Agent 技能与脚本，可评估严重程度并给出修复建议

jondean213-pixel/quietos-sentinel

Sentinel — DeanWay Labs 的入站治理器。守护 AI 智能体所听到的内容：世界内容只是数据，绝非命令。QuietOS 的镜像。

betterleaks/betterleaks

快速、可配置的机密扫描器，适用于文件系统、git 历史、容器和云来源，支持基于 Expr 的过滤、凭据验证和分析。

opengrep/opengrep

🔎 静态代码分析引擎，用于发现代码中的安全问题。

cdxgen/cdxgen

从源代码和容器镜像为你的项目生成 CycloneDX 物料清单（BOM）。支持多种语言和包管理器。可集成到你的 CI/CD 流水线中，并自动提交至 Dependency Track 服务器

trailofbits/brotli-checker

用于查找可能存在漏洞的 Brotli 副本并指导针对 CVE-2026-111497 进行更新的 Claude Code 与 Codex 技能。

backdoorskid/win-def-clickfix

一个扫描器，用于评估 Microsoft Defender 是否可能将某条命令标记为 ClickFix。

minglink/dsh-infinite-gen-5

DeepSeek v4.1 flash 逆向工具（无限五代） 求 Star 收藏 ⭐欢迎大家提交项目的改进

divyanshukumar0014/shipproof

SOC 2 证据在 GitLab CI 中自动收集：每次合并都会生成一个签名证据包，OPA 门禁会阻止缺少证明的发布，审计人员只需一个链接，而无需截图。