Edit me

Following applications are written in the Souffle Language. Some are open source and the source code is accessible:

Doop

Doop is a pointer analysis framework for Java programs. Doop implements a range of points-to algorithms, including context insensitive, call-site sensitive, and object-sensitive analyses. The source code can be found here.

Gigahorse

A binary lifter (and related framework) from low-level EVM code to a higher-level function-based three-address representation, similar to LLVM IR or Jimple. The source code can be found here.

Securify 2.0

Securify 2.0 is a security scanner for the Solidity language. The source code can be found here.

Insieme Compiler

Insieme project is a research compiler for automatically optimizing parallel programs for homogeneous and heterogeneous multi-core architectures. It is a source-to-source compiler. The source code can be found here.

DDISASM

GrammaTech’s DDisasm is a disassembler for multiple platforms. The source code can be found here.

Vandal

Vandal is a static program analysis framework for Ethereum smart contract bytecode, developed at The University of Sydney. The source code can be found here.

Prosynth

A synthesis framework that learns Datalog rules from data (appeared POPL’20).

Haskell Interface

There is a Haskell/Souffle interface written by Luc Tielen. You can find the source code here.

Haskell Program Optimisation

GRIN is a Haskell backend that uses Souffle. The source code can be found here.

Java JDK Security Analysis

Souffle was initially used to find security vulnerabilities in the Java JDK library. This project was conducted by Oracle Labs, Brisbane.

VPN

Amazon used Souffle to verify VPN connections in the AWS cloud.

Galois

Souffle is integrated in an application performing context-sensitive pointer analysis to identify potential software vulnerabilities in C/C++ source code. More about Galois can be found here.

Frank’s DDLOG Benchmarks

Frank McSherry has developed three benchmarks for DDLOG. They can be found here.

Souffle’s Benchmark Suite

The souffle team has its own benchmark, which can be found here