Alternatives and similar repositories for metadl:

Users that are interested in metadl are comparing it to the libraries listed below

• amaurremi / IDE
  Interprocedural Distributive Environment algorithm implementation
  ☆16Updated 9 years ago
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆90Updated 3 years ago
• 95616ARG / pikos_popl2020
  Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
  ☆16Updated 4 years ago
• wala / MemSAT
  ☆12Updated last year
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆99Updated 4 years ago
• rindPHI / islearn
  ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.
  ☆15Updated 10 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
• akrasuski1 / eusolver-priority
  Grammar prioritization support for EUSolver.
  ☆12Updated 5 years ago
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆62Updated 2 weeks ago
• dynaroars / dig
  DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…
  ☆39Updated 4 months ago
• Kraks / sai
  Staged Abstract Interpreters
  ☆65Updated last year
• uuverifiers / ostrich
  An SMT Solver for string constraints
  ☆37Updated this week
• boogie-org / symdiff
  SymDiff-Differential-Program-Verifier
  ☆33Updated 2 weeks ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆155Updated 2 months ago
• opalj / opal
  ☆53Updated last week
• MagpieBridge / MagpieBridge
  MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration
  ☆79Updated 3 months ago
• static-analysis-engineering / codehawk
  CodeHawk Abstract Interpretation Engine and Analyzers
  ☆66Updated last month
• kmicinski / program-analysis-examples
  Notes for CIS 700 (Fall '19) at Syracuse U.
  ☆13Updated 5 years ago
• kmicinski / program-analysis
  Program analysis grad seminar at SU (2019)
  ☆57Updated 4 years ago
• cuplv / dai
  DAI: Demanded Abstract Interpretation
  ☆16Updated 3 months ago
• SyGuS-Org / benchmarks
  Benchmarks for SyGuS Competition (SyGuS-Comp)
  ☆38Updated last year
• Generative-Program-Analysis / GenSym
  A high-performance, parallel, compilation-based symbolic execution engine
  ☆126Updated this week
• kth-step / HolBA
  Binary analysis in HOL
  ☆35Updated this week
• codersguild / Software-Analysis-PAVT
  Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…
  ☆37Updated last year
• Tritlo / PropR
  Genetic program repair using GHC
  ☆30Updated 8 months ago
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆48Updated 4 years ago
• formalsec / wasp
  WASP was superseded by: https://github.com/OCamlPro/owi
  ☆14Updated 4 months ago
• wies / grasshopper
  An automated deductive program verifier.
  ☆41Updated last year
• bkushigian / cornelius
  Equivalent and redundant mutant detection with e-graphs!!!
  ☆13Updated last year
• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆39Updated 10 months ago