SQLite-Bug nach 15 Minuten gefunden: Antithesis schlägt monatelange Fehlersuche
Breaking the WAL
Carl, Entwickler bei Antithesis, nutzte seine Claude-Skills, um einen seit 2010 schlummernden SQLite-Bug in nur 15 Minuten aufzuspüren. Der WAL-Reset-Bug, der Tailscale monatelang beschäftigte, wurde mit generischen Assertions und einem einfachen Workload gefunden. Der Artikel zeigt, wie deterministisches Debugging und Kausalanalyse die Fehlersuche revolutionieren – vom Handy aus, unter Sonnenschein.
„Der Bug ist ein Datenwettlauf mit engen zeitlichen Beschränkungen. Es ist unwahrscheinlich, dass er im normalen Gebrauch auftritt. Den Entwicklern ist es nie gelungen, den Bug organisch zu reproduzieren, und sie mussten spezielle Testlogik in SQLite einbauen, die die Umstände des Bugs absichtlich auslöst, um zu verifizieren, dass das Problem behoben wurde.“