sqlancer: Detecting Logic Bugs in DBMS