静态代码分析 (SAST)

blackvectorops/semantic_firewall

为 Go 函数生成确定性的语义指纹。使用静态单赋值（SSA）分析和标量演化（Scalar Evolution）检测 xz 风格后门并验证语义等价性。

m14r41/scan4secrets

使用170多条规则在源代码、Web URL和CI/CD中查找凭据和密钥，对照供应商API进行验证，并生成SARIF、JSONL、HTML、PDF或Excel报告。

vigiloss/vigil

AI harness for long-running code audits, web pentests, and bug bounty hunting, built around how real investigations fail: anchored hypotheses, false…

abraxas/drupal-move-block-markup

Drupal 11.4.8 - 高危 - 远程 - XSS - 移动区块同级标签跳过 @label 转义

vulnz/sast

Free offline SAST engine for CI/CD: AST and cross-file taint analysis, secret detection with live validation, SCA/CVE, IaC misconfiguration, and…

githubsecuritylab/seclab-taskflow-agent

支持MCP的多智能体框架，用于声明式YAML驱动的智能体工作流，结合CodeQL集成，应用于AI辅助代码审计、漏洞分类和安全研究。

nealbridges/vulnhunter

Agentic AI 安全扫描器，能够像攻击者一样对源代码进行推理，通过可执行的 PoC 确认可利用漏洞，并通过 hunt、fix 和 verify 技能推动测试优先的修复。

carlosalbertotuma/advisory

面向开源 Web 软件中发现漏洞的公开安全公告和 PoC，包含根因分析、CVE 引用、复现步骤和缓解指导。

linuztx/alter-zero

RAM efficient terminal agent harness for coding, cybersecurity, and automation.

joshuaprovoste/deserializer

基于AST的静态代码分析器，结合代理式LLM驱动的关系映射，用于在AI、LLM、机器人、数据科学、机器学习和深度学习（但不限于此）领域发现Python RCE路径和深层反序列化链。

niffyhunt/codeguard-copilot

AI 驱动的安全副驾驶，在您编码时捕捉漏洞。为开发者提供实时安全扫描、教学式解释和自动修复。

dmdhrumilmistry/security-harness

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

nationwide-group-oss/cryptoptic

基于 CodeQL 的扫描器，可清点跨仓库和 GitHub 组织中的加密函数调用，并以 SARIF 格式生成加密物料清单（CBOM）。

whgojp/javaseclab

全面的 Java 漏洞实验环境，包含易受攻击和已修复的代码、攻击场景、source/sink 审计笔记，以及用于安全培训和工具评估的安全编码指南。

thrilokh-q123/cve-2025-23134_fixes_code

ASN1_STRING_set() 函数接受一个 `int` 类型的长度参数，请确保从 asn1_ex_c2i() 调用它时，该参数不会被意外截断。

shentao83/news-8.6.0-cve-2026-8726-backport

针对 georgringer/news 8.6.0 中 CVE-2026-8726 的最小安全后向移植