Command-line tool

souffle

brew/souffle

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

Logic Defined Static Analysis

Website

At a glance

Type

Command-line tool

Install on

macOS, Linux

Last checked

25 Oct 2026, 21:09 UTC

Install it

macOS

brew install souffle

Linux

brew install souffle

Related command-line tools

• datadog-static-analyzer
  Static analysis tool for code quality and security
• detekt
  Static code analysis for Kotlin
• clair
  Vulnerability Static Analysis for Containers
• sparse
  Static C code analysis tool
• credo
  Static code analysis tool for the Elixir
• tfsec
  Static analysis security scanner for your terraform code
• luacheck
  Tool for linting and static analysis of Lua code
• spotbugs
  Tool for Java static analysis (FindBugs's successor)

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