GitHub repository: qaqcatz/impomysql
Primary language: Go
Description: Detecting Logic Bugs in MySQL through Implication Oracle