jdaridis / souffle-lsp-plugin
Soufflé Datalog Language Server. Add smart features to the Soufflé Datalog Language with the help of LSP in a VS code plugin
☆11Updated last year
Alternatives and similar repositories for souffle-lsp-plugin:
Users that are interested in souffle-lsp-plugin are comparing it to the libraries listed below
- ☆31Updated 2 years ago
- A linter for Soufflé Datalog☆13Updated 9 months ago
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆66Updated 2 weeks ago
- An SMT Solver for string constraints☆37Updated this week
- Incremental Program Analysis Framework☆90Updated 3 years ago
- CClyzer port to souffle lang☆18Updated 11 months ago
- A high-performance, parallel, compilation-based symbolic execution engine☆126Updated this week
- CodeHawk Abstract Interpretation Engine and Analyzers☆66Updated last month
- QueryFuzz implements a metamorphic testing approach to test Datalog engines.☆36Updated 3 years ago
- Learning to Solve SMT Formulas Fast☆84Updated 7 months ago
- solver for the reachability modulo theories problem☆59Updated last year
- ☆10Updated 4 years ago
- DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…☆39Updated 4 months ago
- Static analysis framework for EVM bytecode☆29Updated 4 years ago
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆20Updated 3 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆62Updated 2 weeks ago
- ☆8Updated 8 months ago
- Staged Abstract Interpreters☆65Updated last year
- A fuzzing framework for SMT solvers☆185Updated last year
- ☆37Updated 5 months ago
- A tool for analyzing LLVM bitcode using Datalog.☆99Updated 4 years ago
- Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.☆28Updated last week
- A Symbolic Execution Engine for Wasm Bytecode and A Cross-Platform Smart Contract Vulnerability Detector☆30Updated last year
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆52Updated 8 months ago
- The Eldarica model checker☆82Updated this week
- IC3PO: IC3 for Proving Protocol Properties☆25Updated 4 months ago
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆52Updated this week
- A benchmark suite (under construction) for smart contract vulnerability tools☆13Updated 3 years ago
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆66Updated 2 weeks ago
- A Datalog compiler and library☆19Updated 3 years ago