目標達成 すべての支援者に感謝 — 100%達成しました！

目標: 1000 CNY · 調達済み: 1336 CNY

100%
コーヒーを一杯おごる

Lean4 kernel undefined behavior vulnerability fix (PR #14498)

github.com 2026-08-25 翻訳準備中…中国語で表示中 中国語 → English →
Security Advisory PR #14498 High LeanProver
Affected:
  • Lean4 < releases/v4.32.0
  • Lean4 < releases/v4.33.0
Fixed in:
  • releases/v4.32.0
  • releases/v4.33.0
参照 CVE: CVE-2026-72711 · 6.3
文章内图片已隐藏以节省流量 · 升级 Pro 后可见图片及离线存档
本文由本平台从 github.com 自动抓取，经 LLM 流水线清洗、双语翻译。版权归原作者。查看原文。
このソースからの他の記事
NLTK tgrep ReDoS Vulnerability Advisory with POC 2026-08-26 Grav API Plugin Privilege Escalation: API Key Scope Bypass in injectSecurityTab 2026-08-26 Grav grav-plugin-api API Key Scope Bypass Vulnerability Analysis 2026-08-26 ReDoS in nltk.text.Text.findall() via unvalidated user-supplied regular expressions 2026-08-26 TarsWeb Insecure Direct Object Reference: Authenticated User Can Deploy/Read Arbitrary Packages (CWE-862) with POC 2026-08-26
离线存档

离线截图 & PDF 为 Pro 专属

升级 Pro