Alternatives and similar repositories for souffle-lsp-plugin

Users that are interested in souffle-lsp-plugin are comparing it to the libraries listed below

• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆93Updated 4 years ago
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆79Updated last week
• LFrobeen / intellij-datalog
  ☆34Updated 3 years ago
• langston-barrett / souffle-lint
  A linter for Soufflé Datalog
  ☆16Updated last year
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆165Updated last month
• agroce / universalmutator
  Regexp based tool for mutating generic source code across numerous languages
  ☆149Updated last year
• runtimeverification / mir-semantics
  ☆32Updated last week
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆101Updated 5 years ago
• wanidon / RA
  ☆18Updated 4 years ago
• NethermindEth / EVMYulLean
  Executable formal model of the EVM and Yul in Lean 4.
  ☆63Updated last month
• Consensys / evm-dafny
  An EVM interpreter in Dafny
  ☆133Updated last year
• plast-lab / cclyzer-souffle
  CClyzer port to souffle lang
  ☆19Updated last year
• AU-COBRA / ConCert
  A framework for smart contract verification in Coq
  ☆124Updated 2 weeks ago
• acieroid / wassail
  wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …
  ☆60Updated 4 months ago
• Kraks / sai
  Staged Abstract Interpreters
  ☆69Updated 2 years ago
• verifereum / verifereum
  Prove functional correctness of Ethereum smart contracts in higher-order logic
  ☆29Updated this week
• boogie-org / symdiff
  SymDiff-Differential-Program-Verifier
  ☆38Updated 4 months ago
• kino-mc / rsmt2
  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
• uuverifiers / eldarica
  The Eldarica model checker
  ☆98Updated last month
• Practical-Formal-Methods / queryFuzz
  QueryFuzz implements a metamorphic testing approach to test Datalog engines.
  ☆36Updated 4 years ago
• boogie-org / corral
  solver for the reachability modulo theories problem
  ☆62Updated 2 years ago
• nevillegrech / gigahorse-benchmarks
  A benchmark suite (under construction) for smart contract vulnerability tools
  ☆17Updated 4 years ago
• runtimeverification / wasm-semantics
  A Formal Semantics of WebAssembly in K
  ☆83Updated 2 weeks ago
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆68Updated 9 months ago
• ucsb-seclab / greed
  A symbolic execution engine for EVM smart contract binaries.
  ☆117Updated 3 weeks ago
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆92Updated 3 weeks ago
• eth-sri / fastsmt
  Learning to Solve SMT Formulas Fast
  ☆89Updated last year
• Generative-Program-Analysis / GenSym
  A high-performance, parallel, compilation-based symbolic execution engine
  ☆143Updated last week
• contract-ace / smartace
  ☆18Updated 3 years ago
• langston-barrett / tree-crasher
  Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.
  ☆81Updated last week