目标达成 感谢每一位支持者 — 我们达成了 100% 目标!

目标: 1000 元 · 已筹: 1336

100%

安全情报专区 7+

精选漏洞公告、利用分析、安全博客、GHSA Advisory 等情报来源,已自动清洗 + 中英双语呈现,持续更新。

218
已接入情报源
97
当前稳定在线
654
24 小时新增
7+
AI 处理情报
持续监听、清洗、翻译并进行 AI 分析 监听情报
示例:RCE · SSRF · GHSA · 反序列化
筛选
清除筛选
Critical
Lean 4 逻辑一致性漏洞:通过未绑定自由变量证明False
GHSA-m3x5-v2j4-8q2p · github.com · 2026-08-25
Lean 4.30.0
Read more
High
Lean4内核未定义行为漏洞修复及PR合并
PR #14498 · github.com · 2026-08-25
Lean4 < releases/v4.32.0 · Lean4 < releases/v4.33.0
Read more
High
Lean 4 内核漏洞 CVE-2024-14484 推理缓存投毒及证明
CVE-2024-14484 · github.com · 2026-08-25
Lean 4 ≤ v4.31.0
Read more
Critical
Lean 4 内核结构投影验证漏洞
github.com · 2026-08-21
lean4
Read more
High
Lean 4 内核类型混淆漏洞 CVE PoC 及证明验证绕过分析
CVE · github.com · 2026-08-21
Lean 4 v4.31.0 · Lean 4 nightly <= 2026-07-27
Read more

每篇文章经过自动 HTML→Markdown 清洗 + LLM 去噪 + 中英双语翻译。原始链接保留在文章末尾。

想看哪个安全博客 / 公告源?邮件告诉我们,每周新接 1-2 个。