SQLancer, a tool to automatically test DBMSs to find logic bugs

Incredible, commendable work ! Should be funded properly and praised by all DB communities that benefit from it.<p>Indeed is curious as to how it runs against Oracle or MSSQL, but maybe commercial guys should fund the work first otherwise they’ll just thanku-for-the-job which actually would potentially save them millions...

A list of bugs found using this approach is here: <a href="https:&#x2F;&#x2F;www.manuelrigger.at&#x2F;dbms-bugs&#x2F;" rel="nofollow">https:&#x2F;&#x2F;www.manuelrigger.at&#x2F;dbms-bugs&#x2F;</a>

This is incredibly cool, finding almost 200 bugs in SQLite is a really great achievement. I&#x27;d certainly be interested in how often these bugs come up in real applications.

Amazing work; I was wondering whether SQLancer can be integrated with systems like Cosette[1] and XData[2] in a useful way? These systems are different as in they test the &quot;correct intention&quot; of SQL queries and are mostly engine-agnostic.<p>Manual correctness checking of SQL is cumbersome and error-prone since developers may write queries in several different ways, while using fixed datasets (independent of the query) may fail to catch errors in them. XData automatically generates small datasets designed to catch errors in the queries (an example error is using a left-join instead of a full outer join).<p>Any ideas about how we can combine the utilities of SQLancer and XData &#x2F; Cosette? I was a research intern at IITB Database Group, who developed XData and I still contribute to the project.<p>[1] <a href="http:&#x2F;&#x2F;cosette.cs.washington.edu&#x2F;" rel="nofollow">http:&#x2F;&#x2F;cosette.cs.washington.edu&#x2F;</a><p>[2] <a href="http:&#x2F;&#x2F;www.cse.iitb.ac.in&#x2F;infolab&#x2F;xdata&#x2F;" rel="nofollow">http:&#x2F;&#x2F;www.cse.iitb.ac.in&#x2F;infolab&#x2F;xdata&#x2F;</a>

Neat! Perhaps you could run this against H2 (I’m a maintainer). Although best to run against our current master, release is a little old.

The Postgres team has been using SQLSmith for that purpose for a while if I&#x27;m not mistaken.

Has anyone run this against Oracle?