Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for static analysis souffle
souffle
x
static-analysis
x
4 search results found
Crepe
⭐
371
Datalog compiler embedded in Rust as a procedural macro
Cclyzerpp
⭐
89
cclyzer++ is a precise and scalable global pointer analysis for LLVM code.
Treeedb
⭐
37
Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
Souffle Lsp Plugin
⭐
11
Soufflé Datalog Language Server. Add smart features to the Soufflé Datalog Language with the help of LSP in a VS code plugin
Related Searches
C Plus Plus Static Analysis (101)
Llvm Static Analysis (50)
Rust Static Analysis (40)
Datalog Souffle (8)
Static Analysis Datalog (8)
Translator Souffle (3)
Logic Programming Souffle (3)
Closure Static Analysis (3)
C Plus Plus Souffle (3)
Rust Souffle (3)
1-4 of 4 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.