Hunting a 16-year-old SQLite WAL bug with TLA+
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.
Read full article →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.
Read full article →