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
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆66Updated 2 weeks ago
- A linter for Soufflé Datalog☆13Updated 10 months ago
- QueryFuzz implements a metamorphic testing approach to test Datalog engines.☆36Updated 3 years ago
- A high-performance, parallel, compilation-based symbolic execution engine☆127Updated 3 weeks ago
- A tool for analyzing LLVM bitcode using Datalog.☆100Updated 4 years ago
- Incremental Program Analysis Framework☆90Updated 3 years ago
- CClyzer port to souffle lang☆18Updated last year
- CodeHawk Abstract Interpretation Engine and Analyzers☆65Updated this week
- An SMT Solver for string constraints☆37Updated this week
- Static analysis framework for EVM bytecode☆29Updated 5 years ago
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆20Updated 3 years ago
- SymDiff-Differential-Program-Verifier☆35Updated 3 weeks ago
- The ISLa (Input Specification Language) language & solver.☆62Updated 7 months ago
- A curated list of Grammar based fuzzing research papers, codes, tutorials☆119Updated 2 years ago
- A symbolic execution engine for EVM smart contract binaries.☆102Updated last month
- ☆14Updated 3 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆62Updated 2 weeks ago
- DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…☆40Updated 5 months ago
- Learning to Solve SMT Formulas Fast☆85Updated 8 months 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
- Heaps Don't Lie! Analyzes standard JVM and Android heap snapshots to improve the completeness of program analysis tools such as Doop.☆14Updated 9 months ago
- The official repo of Doop, the declarative pointer analysis framework.☆173Updated this week
- Replication package for the paper "Systematically Covering Input Structure" published at ASE 2019☆9Updated last year
- Mutation-guided mutation-based fuzz testing☆42Updated 7 months ago
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆53Updated this week
- ☆26Updated 2 weeks ago
- solver for the reachability modulo theories problem☆59Updated last year
- A points-to and alias analysis benchmark suite☆40Updated 6 years ago
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆51Updated last year