Command-line tool

sqlancer

brew/sqlancer

Checked 25 Oct 2026, 21:09 UTC · Listing refreshed from Homebrew, winget, npm, Scoop and cargo; npm packages checked against OSV.dev

Detecting Logic Bugs in DBMS

Website Source

At a glance

Type

Command-line tool

Install on

macOS, Linux

Last checked

25 Oct 2026, 21:09 UTC

Install it

macOS

brew install sqlancer

Linux

brew install sqlancer

Related command-line tools

• pulseview
  A logic analyzer GUI for sigrok
• souffle
  Logic Defined Static Analysis
• npush
  Logic game similar to Sokoban and Boulder Dash
• ECLiPSe Constraint Logic Programming System Version 7.0
  ECLiPSe Constraint Logic Programming System Version 7.0 (Windows package; no description in the winget index)…
• ECLiPSe Constraint Logic Programming System Version 7.1
  ECLiPSe Constraint Logic Programming System Version 7.1 (Windows package; no description in the winget index)…
• acl2
  Logic and programming language in which you can model computer systems
• flix
  Statically typed functional, imperative, and logic programming language
• prover9
  Automated theorem prover for first-order and equational logic

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents