Manuel Rigger, Ilya Yatsishin Using SQLancer to test Click House and other database systems

Ближайшая конференция: Heisenbug 2021 Moscow 57 октября, онлайн. Подробности и билеты: . . SQLancer is a highlypopular and widelyused tool, which can automatically generate test cases to find bugs in Database Management Systems (DBMSs). While crash bugs in DBMS can be detected via fuzzers such as AFL or SQLsmith, SQLancer aims to detect correctness bugs, which cause a DBMS to produce an incorrect result set for a given query. In this talk, speakers will give an overview of the testing techniques that they designed to automatically validate the result sets returned for a query. Manuel and Ilya used SQLancer to find and report over 450 unique, previously unknown bugs in widelyused DBMSs such as SQLite, MySQL, and PostgreSQL, and ClickHouse. Furthermore, speakers will give a handson tutorial to demonstrate how SQLancer can be extended to support a new DBMS and how the tool can be effectively used to find bugs. We will