sqlancer ☆

« Back to VersTracker

Description:
Detecting Logic Bugs in DBMS

Type: Formula | Tracked Since: Dec 28, 2025

Links: Homepage | formulae.brew.sh

Category: Developer tools

Tags: testing fuzzing sql database quality-assurance

Install: brew install sqlancer

About:
SQLancer is a testing tool that automatically generates SQL queries to find logic bugs in database management systems. It uses combinatorial testing techniques like Pivotal SQL Generation and Ternary Logic Partitioning to systematically explore database states and uncover inconsistencies. The tool is database-agnostic and supports various DBMSs including SQLite, MySQL, and PostgreSQL.

Key Features:

Automated test case generation without requiring a reference oracle
Supports multiple DBMS backends (SQLite, MySQL, PostgreSQL, TiDB, etc.)
Implements state-of-the-art testing oracles like NoREC and TLP
Provides detailed bug reports with minimal reproducible test cases

Use Cases:

Regression testing for database system development
Validating correctness of new query optimizer features
Fuzz testing database releases before deployment
Academic research on database reliability

Alternatives:

Jepsen – Focuses on distributed system consistency, while SQLancer targets single-node DBMS logic bugs
SQLsmith – Generates random SQL queries; SQLancer uses more sophisticated partitioning-based oracles

Version History

Detected	Version	Rev	Change	Commit
Sep 13, 2024 9:05pm		0	VERSION_BUMP	e0da4484