SQLite は public domain でソースが公開されているデータベースエンジンです。さまざまなアプリケーションに組込まれている実績がありますが、それは多角的なテストによって信頼性と頑健性を保っていることが理由の1つだと思われます。
どのようにテストしているのか説明したページは参考になります。興味深いと思ったのは静的解析についての項目で、
Static analysis has not proven to be especially helpful in finding bugs in SQLite. Static analysis has found a few bugs in SQLite, but those are the exceptions. More bugs have been introduced into SQLite while trying to get it to compile without warnings than have been found by static analysis.
とされています。SQLite においては、静的解析が教えてくれる正確性についてのヒントは(もちろん有用なのですが)バグを見つけるという目的に特に役に立つものではなく、むしろバグを含めてしまうきっかけになることがあるとのことです。逆に、他の種類のテストでより効率的にバグが見つけられるということだと考えられます。