Alternatives and similar repositories for metadl:

Users that are interested in metadl 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
• ExtendJ / ExtendJ
  This is a mirror of the main Bitbucket repository. Issue tracking is done on Bitbucket
  ☆12Updated 2 years ago
• amaurremi / IDE
  Interprocedural Distributive Environment algorithm implementation
  ☆16Updated 9 years ago
• LFrobeen / intellij-datalog
  ☆31Updated 3 years ago
• 95616ARG / pikos_popl2020
  Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
  ☆16Updated 4 years ago
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆66Updated 2 months ago
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆51Updated 5 years ago
• lisa-analyzer / lisa
  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
  ☆57Updated 2 weeks ago
• Kraks / sai
  Staged Abstract Interpreters
  ☆66Updated 2 years ago
• uuverifiers / ostrich
  An SMT Solver for string constraints
  ☆38Updated last month
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆22Updated last year
• acorrenson / WiSE
  A formally verified bug finder
  ☆14Updated 5 months ago
• hkust-taco / superoop
  Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoo…
  ☆11Updated last year
• wala / ML
  ☆26Updated last week
• kmicinski / program-analysis
  Program analysis grad seminar at SU (2019)
  ☆57Updated 5 years ago
• kmicinski / program-analysis-examples
  Notes for CIS 700 (Fall '19) at Syracuse U.
  ☆13Updated 5 years ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆157Updated 6 months ago
• boogie-org / symdiff
  SymDiff-Differential-Program-Verifier
  ☆34Updated 2 months ago
• MagpieBridge / MagpieBridge
  MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration
  ☆80Updated 7 months ago
• SIGPLAN / SIGPLAN.github.io
  SIGPLAN website
  ☆11Updated this week
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆67Updated this week
• bkushigian / cornelius
  Equivalent and redundant mutant detection with e-graphs!!!
  ☆13Updated last year
• SyGuS-Org / benchmarks
  Benchmarks for SyGuS Competition (SyGuS-Comp)
  ☆39Updated 2 years ago
• caterinaurban / function
  ☆12Updated 11 months ago
• piantado / enumerateCFG
  Code for enumeration from a CFG
  ☆18Updated last year
• Generative-Program-Analysis / GenSym
  A high-performance, parallel, compilation-based symbolic execution engine
  ☆129Updated this week
• ezaffanella / PPLite
  PPLite: convex polyhedra library for Abstract Interpretation
  ☆26Updated last month
• vlab-cs-ucsb / LibStranger
  ☆12Updated 9 years ago
• runtimeverification / javamop
  Runtime verification system for Java, using AspectJ for instrumentation.
  ☆46Updated 2 years ago