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

目標: 1000 CNY · 調達済み: 1359 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 流水线清洗、双语翻译。版权归原作者。查看原文。
このソースからの他の記事
TinyLlava_Factory Arbitrary Code Execution via trust_remote_code 2026-10-13 TensorLayer Arbitrary Code Execution via eval() in load_hdf5_graph 2026-10-13 sherpa-onnx Offline Transcriber Heap Buffer Overflow (CWE-122/125) via Vocab Size Mismatch 2026-10-13 sherpa-onnx Heap Buffer Overflow in Greedy Search Decoder 2026-10-13 llama.cpp GGUF Tensor Offset Out-of-Bounds Read Vulnerability 2026-10-13
离线存档

离线截图 & PDF 为 Pro 专属

升级 Pro