# 使用 Homebrew 安装 sqlancer 查看 sqlancer 的安装路径、可执行文件、元数据以及面向 AI 代理工作流的安全说明。 ## 安装 ```sh sudo av install brew:sqlancer ``` 其他安装命令: ### macOS - Homebrew (100%): ```sh brew install sqlancer ``` 证据: local Homebrew formula metadata ## 软件包事实 - **软件包键:** brew:sqlancer - **软件包管理器:** Homebrew - **软件包管理器页面:** - **版本:** 2.0.0 - **来源摘要:** Detecting Logic Bugs in DBMS - **主页:** - **仓库:** - **许可证:** MIT - **源码归档:** - **已生成:** 2026-08-04T22:13:35+00:00 ## 可执行文件 - sqlancer (cli) - sqlancer (别名) ## 依赖 - openjdk ## 构建依赖 - maven ## 安装行为 - post-install 钩子: 未定义 - Bottle: 可用 于 arm64_big_sur, arm64_linux, arm64_monterey, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, big_sur, catalina, monterey, sonoma, ventura ## 版本和新鲜度 - 页面生成时间: 2026-08-04 - 管理器版本: 2.0.0 - 本地数据: OK - 上游仓库: https://github.com/sqlancer/sqlancer - 检测到的最新版本: v2.0.0 (当前) - 信息: No package-manager update timestamp was available. ## 项目历史与用法 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. ### 项目历史 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. ### 采用历史 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. ### 使用方式 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. ### 为什么软件包爱好者会关心 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. ### 时间线 - 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. ### 来源 - - - - ## 安全说明 broad file, network, media, or database tool signal. - **Geiger 风险:** blue / 中 - broad file, network, media, or database tool signal ## 源数据库详情 - **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 ## 相关链接 - [Source-control packages](https://pkg.so/zh-hans/source-control-tools/) - Belongs to a source-control command family. - [Secret-risk packages](https://pkg.so/zh-hans/secret-risk-packages/) - Has protected-tool coverage, approval-gate, or non-low Geiger security signals. - [Terminal utility packages](https://pkg.so/zh-hans/terminal-utilities/) - Matched terminal and command-line workflow metadata. - [Text processing packages](https://pkg.so/zh-hans/text-processing-tools/) - Matched text, document, or structured-data processing metadata. - [openjdk](https://pkg.so/zh-hans/brew/openjdk/) - Runtime dependency declared by Homebrew. - [maven](https://pkg.so/zh-hans/brew/maven/) - Build dependency declared by Homebrew. - [sql-lint](https://pkg.so/zh-hans/brew/sql-lint/) - Shares pkgdb curated category or tags: cli, database-tools, developer-tools, sql. - [byteman](https://pkg.so/zh-hans/brew/byteman/) - Shares pkgdb curated category or tags: cli, developer-tools, java, testing. - [sql-migrate](https://pkg.so/zh-hans/brew/sql-migrate/) - Shares pkgdb curated category or tags: cli, database-tools, developer-tools, sql. - [moco](https://pkg.so/zh-hans/brew/moco/) - Shares pkgdb curated category or tags: cli, developer-tools, java, testing. - [sql-translator](https://pkg.so/zh-hans/brew/sql-translator/) - Shares pkgdb curated category or tags: cli, database-tools, developer-tools, sql. - [csmith](https://pkg.so/zh-hans/brew/csmith/) - Shares pkgdb curated category or tags: cli, developer-tools, fuzzing, testing. - [sqlbench](https://pkg.so/zh-hans/brew/sqlbench/) - Shares pkgdb curated category or tags: cli, database-tools, developer-tools, sql. - [lcov](https://pkg.so/zh-hans/brew/lcov/) - Shares pkgdb curated category or tags: cli, developer-tools, testing. ## Combined YAML source View the package source record on GitHub. [combined/sqlancer.yml](https://github.com/mxcl/pkgdb/blob/main/combined/sqlancer.yml) ## 来源 - pkg.so package database - Geiger risk classifier - package-page enrichment - curated package history - package version freshness - pkgdb category and tag curation - package relationship graph - cross-ecosystem install command graph