jdaridis / souffle-lsp-pluginLinks
Soufflé Datalog Language Server. Add smart features to the Soufflé Datalog Language with the help of LSP in a VS code plugin
☆15Updated 2 years ago
Alternatives and similar repositories for souffle-lsp-plugin
Users that are interested in souffle-lsp-plugin are comparing it to the libraries listed below
Sorting:
- ☆33Updated 3 years ago
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆76Updated last week
- Incremental Program Analysis Framework☆93Updated 4 years ago
- ☆27Updated last week
- Datalog with support for SMT queries and first-order functional programming☆163Updated this week
- A precise and scalable pointer analysis for LLVM, written in Ascent☆65Updated 7 months ago
- Regexp based tool for mutating generic source code across numerous languages☆145Updated last year
- An EVM interpreter in Dafny☆131Updated 11 months ago
- A symbolic execution engine for EVM smart contract binaries.☆115Updated last month
- The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"☆107Updated 2 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆102Updated 5 years ago
- A benchmark suite (under construction) for smart contract vulnerability tools☆16Updated 4 years ago
- CClyzer port to souffle lang☆18Updated last year
- A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.☆67Updated last year
- Engines, queries, and data for dynamic Datalog computation☆127Updated 4 years ago
- EF/CF - Extremely Fast smart Contract Fuzzing☆66Updated 2 years ago
- A high-performance, parallel, compilation-based symbolic execution engine☆141Updated this week
- A linter for Soufflé Datalog☆15Updated last year
- language-agnostic program reducer.☆195Updated 3 months ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆115Updated this week
- ☆41Updated 3 months ago
- Learning to Solve SMT Formulas Fast☆88Updated last year
- solver for the reachability modulo theories problem☆61Updated 2 years ago
- ☆18Updated 6 months ago
- Prove functional correctness of Ethereum smart contracts in higher-order logic☆28Updated last week
- Variation of american fuzzy lop for testing compilers☆123Updated 3 years ago
- ☆20Updated 5 years ago
- Rewrite Rule Inference Using Equality Saturation☆137Updated 3 months ago
- Jupyter notebooks for tutorial on the Z3 SMT solver☆165Updated last year
- ☆17Updated 3 years ago