Search Results - RepositoryStats

211

952

upl-1.0

42

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

datalog souffle translator logic-programming static-code-analysis

Created 2016-03-12

10,637 commits to master branch, last one 4 days ago

crepe ekzhang

16

467

apache-2.0

13

Datalog compiler embedded in Rust as a procedural macro

rust datalog souffle translator static-analysis logic-programming

Created 2020-08-31

63 commits to main branch, last one about a year ago

cclyzerpp GaloisInc

14

138

bsd-3-clause

12

cclyzer++ is a precise and scalable pointer analysis for LLVM code.

llvm datalog souffle static-analysis pointer-analysis program-analysis

Created 2022-08-10

199 commits to main branch, last one 6 months ago

mixologician ianthehenry

1

76

unknown

3

optimize your home bar with ✨logic programming✨

datalog souffle mixology cocktails logic-programming souffle-datalog-language

Created 2021-03-19

52 commits to master branch, last one 3 years ago

treeedb langston-barrett

8

66

mit

4

Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.

datalog souffle tree-sitter static-analysis

Created 2022-10-25

169 commits to main branch, last one 29 days ago

misti nowarp

5

35

apache-2.0

4

TON Static Analyzer

ton souffle tact-lang smart-contracts static-analysis

Created 2024-04-14

483 commits to master branch, last one 2 days ago