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 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
Sorting:
- ☆32Updated 3 years ago
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆73Updated last month
- Incremental Program Analysis Framework☆90Updated 4 years ago
- A linter for Soufflé Datalog☆14Updated last year
- Regexp based tool for mutating generic source code across numerous languages☆143Updated last year
- ☆26Updated this week
- An EVM interpreter in Dafny☆131Updated 10 months ago
- A benchmark suite (under construction) for smart contract vulnerability tools☆14Updated 4 years ago
- A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.☆66Updated last year
- A symbolic execution engine for EVM smart contract binaries.☆111Updated 4 months ago
- Datalog with support for SMT queries and first-order functional programming☆161Updated 2 weeks ago
- solver for the reachability modulo theories problem☆60Updated last year
- CClyzer port to souffle lang☆18Updated last year
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆71Updated last week
- Static analysis framework for EVM bytecode☆31Updated 5 years ago
- ☆18Updated 3 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆101Updated 4 years ago
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆59Updated last week
- A static analyzer and linter for the Circom zero-knowledge DSL☆252Updated last year
- The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"☆106Updated 2 years ago
- Executable formal model of the EVM and Yul in Lean 4.☆59Updated this week
- Variation of american fuzzy lop for testing compilers☆123Updated 3 years ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆112Updated last week
- SFI verifier of Wasm binaries☆82Updated 2 years ago
- The Gillian Platform main repository☆88Updated 2 weeks ago
- Prove functional correctness of Ethereum smart contracts in higher-order logic☆28Updated 2 weeks ago
- Static program analysis framework for Ethereum smart contract bytecode.☆165Updated 4 years ago
- (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.☆307Updated 2 months ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆65Updated 5 months ago
- A binary lifter and analysis framework for Ethereum smart contracts☆326Updated 3 weeks ago