Alternatives and similar repositories for intellij-datalog:

Users that are interested in intellij-datalog are comparing it to the libraries listed below

• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆90Updated 3 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆100Updated 4 years ago
• 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
  ☆12Updated last year
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆67Updated this week
• plast-lab / doop
  The official repo of Doop, the declarative pointer analysis framework.
  ☆178Updated last month
• plast-lab / cclyzer-souffle
  CClyzer port to souffle lang
  ☆18Updated last year
• MagpieBridge / MagpieBridge
  MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration
  ☆80Updated 7 months ago
• vlab-cs-ucsb / LibStranger
  ☆12Updated 9 years ago
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆52Updated 9 months ago
• Generative-Program-Analysis / GenSym
  A high-performance, parallel, compilation-based symbolic execution engine
  ☆129Updated this week
• langston-barrett / souffle-lint
  A linter for Soufflé Datalog
  ☆14Updated last year
• contract-ace / smartace
  ☆15Updated 3 years ago
• jayhorn / jayhorn
  Static checker for Java
  ☆86Updated 3 months ago
• uuverifiers / ostrich
  An SMT Solver for string constraints
  ☆38Updated last month
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆66Updated 2 months ago
• plast-lab / HeapDL
  Heaps Don't Lie! Analyzes standard JVM and Android heap snapshots to improve the completeness of program analysis tools such as Doop.
  ☆14Updated last year
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆45Updated 9 months ago
• eth-sri / fastsmt
  Learning to Solve SMT Formulas Fast
  ☆86Updated 10 months ago
• amaurremi / IDE
  Interprocedural Distributive Environment algorithm implementation
  ☆16Updated 9 years ago
• opalj / opal
  ☆59Updated this week
• Practical-Formal-Methods / queryFuzz
  QueryFuzz implements a metamorphic testing approach to test Datalog engines.
  ☆36Updated 3 years ago
• pietrobraione / jbse
  A symbolic Java virtual machine for program analysis, verification and test generation
  ☆110Updated 3 weeks ago
• lu-cs-sde / metadl
  MetaDL: Datalog analyzing Datalog, Java or any language of your choice
  ☆16Updated 3 months ago
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆63Updated 10 months ago
• boogie-org / symdiff
  SymDiff-Differential-Program-Verifier
  ☆34Updated 2 months ago
• julianthome / smtlibv2-grammar
  ANTLR SMT-LIB v2 Grammar
  ☆23Updated 3 years ago
• boogie-org / corral
  solver for the reachability modulo theories problem
  ☆60Updated last year
• 95616ARG / pikos_popl2020
  Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
  ☆16Updated 4 years ago
• Practical-Formal-Methods / bran
  Static analysis framework for EVM bytecode
  ☆30Updated 5 years ago
• codersguild / Software-Analysis-PAVT
  Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…
  ☆37Updated 2 years ago