SQLancer
Automatically testing database systems
Automatically testing database systems
SQLancer is an automated testing tool that finds logic bugs in database systems (rather than in the databases themselves). Logic bugs are bugs that cause a database system to compute an incorrect result for a given query and a database on which the query is executed. To that end, SQLancer semi-randomly generates databases and queries, whose results are then automatically validated. SQLancer has found hundreds of bugs in database systems such as SQLite, MySQL, DuckDB, CockroachDB, and TiDB.
Contributor Guidance
Projects
Contributor
Yutan Yang
Mentor
Yichen Yan
Organization
SQLancer
Automated Test Case Reduction for SQLancer with delta-debugging and SQL parser-tree transforms
SQLancer randomly generates test cases consisting of potentially hundreds or thousands of SQL statements. In order to efficiently identify bugs in...