Automic VaultAutomic Vault

brew

使用 Homebrew 安装 sqlancer

查看 sqlancer 的安装路径、可执行文件、元数据以及面向 AI 代理工作流的安全说明。

安装

其他安装命令

macOS

Homebrew已验证 · 100%
brew install sqlancer

local Homebrew formula metadata

概览

软件包摘要

Detecting Logic Bugs in DBMS

命令和别名

  • sqlancer

历史

项目历史与用法

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.

安全态势

风险级别:blue

broad file, network, media, or database tool signal.

风险分类器

blue 风险 · 中 置信度 · tool

原因

  • broad file, network, media, or database tool signal

信号

  • text:sql

安装行为

  • formula 元数据中未记录 Homebrew post-install 钩子。
  • Homebrew bottle 元数据适用于 13 个平台目标。
  • 安装时包含 1 个运行时依赖。
  • 构建元数据列出 1 个构建依赖。

建议审查

在无人值守的代理使用前,请检查该工具是否读取明文凭据、写入远程状态、发布制品或调用插件。

可执行文件

已安装的可执行文件

命令类型暴露范围备注
sqlancercli全局可执行文件

新鲜度

版本和新鲜度

这些信号区分页生成时间、软件包管理器活动和上游发布比较。只有存在证据 URL 和可比较版本时,才会提示版本落后。

页面生成时间2026-07-25
管理器版本2.0.0
管理器更新时间
本地数据OK
上游当前
检测到的最新版本v2.0.0

https://github.com/sqlancer/sqlancer

  • 信息No package-manager update timestamp was available.低 置信度

安装元数据

软件包元数据

软件包键brew:sqlancer
版本2.0.0
软件包管理器Homebrew
软件包管理器页面https://formulae.brew.sh/formula/sqlancer
主页https://github.com/sqlancer/sqlancer
仓库https://github.com/sqlancer/sqlancer
上游文档https://github.com/sqlancer/sqlancer#readme
许可证MIT
源码归档https://github.com/sqlancer/sqlancer/archive/refs/tags/v2.0.0.tar.gz
依赖openjdk
构建依赖maven
Bottle可用 (于 arm64_big_sur, arm64_linux, arm64_monterey, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, big_sur, catalina, monterey, sonoma, ventura, x86_64_linux)
Homebrew post-install未定义
服务未声明

注册表事实

源数据库详情

Source DatabaseHomebrew formula API
Taphomebrew/core
Full Namesqlancer
Version Scheme0
Revision0
Head VersionHEAD
Bottle Stable Root URLhttps://ghcr.io/v2/homebrew/core
Deprecatedno
Disabledno
Keg Onlyno
URL Keys
  • head
  • stable

来源线索

由仓库数据生成

此页面由 av-webscripts/generate-pkg-sqlite.py 生成的私有软件包 SQLite 工件提供。

使用的来源

  • Geiger risk classifier
  • Nucleus package database
  • av.db category and tag curation
  • cross-ecosystem install command graph
  • curated package history
  • package relationship graph
  • package version freshness
  • package-page enrichment