Finding Logic Bugs in Database Management Systems

Speaker:

Manuel Rigger

System:

SQLancer

Video:

YouTube

Database Management Systems (DBMS) are used ubiquitously for storing and retrieving data. It is critical that they function correctly --- incorrectly computed result sets (e.g., by omitting a row) can cause serious loss or damage. We refer to such defects as logic bugs. Despite their importance, finding logic bugs in production DBMS is a longstanding challenge. Existing techniques such as... Read More