# Install sqlancer with Homebrew Detecting Logic Bugs in DBMS. Version 2.0.0 via Homebrew; verified from local package data. ## Install ```sh sudo av install brew:sqlancer ``` Additional install commands: ### macOS - Homebrew (100%): ```sh brew install sqlancer ``` Evidence: local Homebrew formula metadata ## Package facts - **Package key:** brew:sqlancer - **Package manager:** Homebrew - **Package manager page:** - **Version:** 2.0.0 - **Source summary:** Detecting Logic Bugs in DBMS - **Homepage:** - **Repository:** - **Upstream docs:** - **License:** MIT - **Source archive:** - **Generated:** 2026-07-08T18:08:21+00:00 ## Executables - sqlancer (cli) - sqlancer (alias) ## Dependencies - openjdk ## Build dependencies - maven ## Install behavior - Post-install hook: not defined - Bottle: available on arm64_big_sur, arm64_linux, arm64_monterey, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, big_sur, catalina, monterey, sonoma, ventura ## Freshness - Page generated: 2026-07-08 - Package-manager version: 2.0.0 - Local data: ok - Upstream repository: https://github.com/sqlancer/sqlancer - Upstream latest detected: v2.0.0 (current) - info: No package-manager update timestamp was available. ## Project history and usage SQLancer is an automated DBMS testing tool focused on finding logic and performance bugs in database systems. The official README states that it has found hundreds of bugs in mature and widely known DBMSs. ### Project history The GitHub repository was created in April 2020, around the publication period of SQLancer's core research techniques. Its documentation ties the implementation to Pivoted Query Synthesis, Non-optimizing Reference Engine Construction, Ternary Logic Partitioning, Query Plan Guidance, CERT, Differential Query Plans, and later CODDTest. ### Adoption history SQLancer moved from a research prototype into a packaged CLI distributed through GitHub releases, Maven Central, Docker Hub, and Homebrew. The README recommends using the latest source version but documents these release channels for users who need packaged artifacts. ### How it is used A typical source-build workflow clones the repository, runs Maven, then starts the jar with a DBMS target and oracle, for example SQLite with NoREC. The CLI is long-running by default, emits progress, stores reproduction logs under `target/logs`, and can be stopped manually or bounded with options such as timeout or number of tries. ### Why package nerds care Package nerds care about SQLancer because it is research-grade database fuzzing packaged as a normal Java command-line tool. It lets database maintainers, distro maintainers, and curious operators test real packaged DBMS builds for wrong-result bugs, not just crashes. ### Timeline - 2020: GitHub repository created. - 2020: Papers for PQS, NoREC, and TLP established SQLancer's core logic-bug testing approaches. - 2021: Initial GitHub release v1.0 published. - 2021: v1.1.0 release added Docker Hub publishing. - 2022: v2.0.0 release added OceanBase and document-store component support. - 2025: README listed broad DBMS support including SQLite, PostgreSQL, MySQL, MariaDB, TiDB, DuckDB, ClickHouse, CockroachDB, and others. ### Related projects - The README lists related tools and reimplementations including go-sqlancer, Jepsen, SQLRight, SQLsmith, and Squirrel. It also documents Maven, Docker Hub, and Maven Central distribution surfaces. ### Sources - - - - ## Security Notes broad file, network, media, or database tool signal. - **Geiger risk:** blue / medium - broad file, network, media, or database tool signal ## Source Database Details - **Source Database:** Homebrew formula API - **Tap:** homebrew/core - **Full Name:** sqlancer - **Version Scheme:** 0 - **Revision:** 0 - **Head Version:** HEAD - **Bottle Stable Root URL:** - **Deprecated:** no - **Disabled:** no - **Keg Only:** no - **URL Keys:** head, stable ## Related links - [Source-control packages](https://www.automicvault.com/pkg/source-control-tools/) - Belongs to a source-control command family. - [Secret-risk packages](https://www.automicvault.com/pkg/secret-risk-packages/) - Has protected-tool coverage, approval-gate, or non-low Geiger security signals. - [Terminal utility packages](https://www.automicvault.com/pkg/terminal-utilities/) - Matched terminal and command-line workflow metadata. - [Text processing packages](https://www.automicvault.com/pkg/text-processing-tools/) - Matched text, document, or structured-data processing metadata. - [openjdk](https://www.automicvault.com/pkg/brew/openjdk/) - Runtime dependency declared by Homebrew. - [maven](https://www.automicvault.com/pkg/brew/maven/) - Build dependency declared by Homebrew. - [sqlsmith](https://www.automicvault.com/pkg/brew/sqlsmith/) - Shares av.db curated category or tags: cli, database-testing, developer-tools, sql, testing. - [cargo-fuzz](https://www.automicvault.com/pkg/brew/cargo-fuzz/) - Shares av.db curated category or tags: cli, developer-tools, fuzzing, testing. - [csmith](https://www.automicvault.com/pkg/brew/csmith/) - Shares av.db curated category or tags: cli, developer-tools, fuzzing, testing. - [dbmate](https://www.automicvault.com/pkg/brew/dbmate/) - Shares av.db curated category or tags: cli, database, developer-tools, sql. - [dbml-cli](https://www.automicvault.com/pkg/brew/dbml-cli/) - Shares av.db curated category or tags: cli, database, developer-tools, sql. - [harlequin](https://www.automicvault.com/pkg/brew/harlequin/) - Shares av.db curated category or tags: cli, database, developer-tools, sql. - [jet](https://www.automicvault.com/pkg/brew/jet/) - Shares av.db curated category or tags: cli, database, developer-tools, sql. - [jmeter](https://www.automicvault.com/pkg/brew/jmeter/) - Shares av.db curated category or tags: cli, developer-tools, java, testing. - [moco](https://www.automicvault.com/pkg/brew/moco/) - Both packages touch the same language runtime or ecosystem. Shared terms: cli, developer, developer-tools, java, openjdk. ## Combined YAML source View the package source record on GitHub. [combined/sqlancer.yml](https://github.com/automic-vault/db/blob/main/combined/sqlancer.yml) ## Sources - Nucleus package database - Geiger risk classifier - package-page enrichment - curated package history - package version freshness - av.db category and tag curation - package relationship graph - cross-ecosystem install command graph