souffle ☆
« Back to VersTracker
Description:
Logic Defined Static Analysis
Type: Formula  |  Tracked Since: Dec 28, 2025
Links: Homepage  |  formulae.brew.sh
Category: Developer tools
Tags: datalog static-analysis programming-languages compiler
Install: brew install souffle
About:
Soufflé is a high-performance logic programming system designed for static program analysis. It allows developers to define complex program analyses using a declarative Datalog-like syntax. The compiler translates these specifications into highly optimized C++ code, enabling rapid and scalable analysis of large codebases.
Key Features:
  • Declarative Datalog syntax for defining analysis logic
  • Compiles to highly optimized parallel C++ code
  • Designed specifically for static program analysis tasks
  • Supports parallel execution for performance on multi-core systems
Use Cases:
  • Static analysis of C/C++ or Java programs
  • Dataflow analysis for compiler optimization
  • Program verification and bug detection
Alternatives:
  • Datalog – Standard Datalog is typically interpreted and slower; Soufflé compiles to C++ for high performance.
  • Infer – Infer is a pre-built static analyzer, whereas Soufflé is a framework for writing custom analyzers.
Version History
Detected Version Rev Change Commit
Sep 16, 2025 10:14pm 0 VERSION_BUMP 78ad2344
Sep 15, 2025 8:43am 0 VERSION_BUMP 70fd64d5
Sep 13, 2024 11:22pm 0 VERSION_BUMP a404d437
« Back to VersTracker  |  Browse Packages  |  About