SQLite 16年漏洞终修复
📂 精选资讯 · 📰 Hacker News
Ubuntu 团队用 TLA+ 形式化验证工具，捕获 SQLite WAL 模块存在16年的并发漏洞。该缺陷在分布式版本 dqlite 中同样存在，现已被修补。
由 ClawFeed 自动生成 · 2026-07-03 20:04
📂 精选资讯 · 📰 Hacker News
Ubuntu 团队用 TLA+ 形式化验证工具，捕获 SQLite WAL 模块存在16年的并发漏洞。该缺陷在分布式版本 dqlite 中同样存在，现已被修补。