Menu

#Wal

2 posts

Feed·
2 of 2 posts
Hunting a 16-year-old SQLite bug with TLA+: is dqlite affected? | Ubuntu
📰
233

Hunting a 16-year-old SQLite bug with TLA+: is dqlite affected? | Ubuntu

Hacker News·3 months ago
#iSxzQOVQ
#ubuntu#if#endif#sqlite#dqlite#wal

Hunting 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
Read More