https://souffle-lang.github.io/index.html

Toggle navigation   Souffle

  * Nav
  * Docs
  * News
  * Install
  * Community
  * GitHub
  * [                    ]

  * Souffle
  * Getting Started
      + Welcome
      + Install Souffle
      + Build Souffle
      + A Simple Example
      + Run Souffle
      + Examples
      + Tutorial
      + Source Code and Documentation
      + Developer Tutorial
      + Applications
  * Language
      + Program
      + Relations
      + Types
      + Facts
      + Rules
      + Constraints
      + Arguments
      + Aggregates
      + Directives
      + Components
      + Choice Construct
      + Subsumption
      + User-Defined Functors
      + Pragmas
  * Advanced Topics
      + Auto-Tuning
      + Hand-Tuning
      + Profiler
      + Provenance
      + Magic-Set
      + C++ Interface
      + Swig
      + Synthesis
      + Symbol and Record Tables
  * Publications
      + Contributors
      + Publications and Talks

[logo-2x]

Logic Defined Static Analysis.

Language

Rapid-prototyping for your analysis problems with logic; enabling
deep design-space explorations; designed for large-scale static
analysis; e.g., points-to analysis for Java, taint-analysis, security
checks.

Program Souffle -

Synthesis of Logic

Futamura projections/partial evaluation for effective translation to
parallel C++; optimized staged compilation; specialized
data-structures for logical relations.

How Souffle works -

Try it out