2330Read later0Read MoreHunting a 16-year-old SQLite bug with TLA+: is dqlite affected? | UbuntuHacker News·4 months ago#iSxzQOVQ#ubuntu#if#endif#sqlite#dqlite+5 more🧰Tag tools✨Add tagHunting a 16-year-old SQLite bug with TLA+: We model the WAL race condition to reproduce the issue, verify the fix, and analyze if dqlite is vulnerable.15s