Finding bugs in SQLite, the easy way

Was already posted an hour earlier. See here https://news.ycombinator.com/item?id=9376391