We are proud and excited to open-source SQLancer, which detects logic bugs in DBMS and has found over 400 bugs already: https://github.com/sqlancer/sqlancer. It can likely also still detect unreported bugs (e.g., in MySQL). Note that SQLancer is still a research prototype. https://twitter.com/RiggerManuel/status/1267797185896296449