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 10 years ago
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆90Updated 4 years ago
• kmicinski / program-analysis-examples
  Notes for CIS 700 (Fall '19) at Syracuse U.
  ☆13Updated 5 years ago
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆65Updated 4 months ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆100Updated 4 years ago
• uuverifiers / ostrich
  An SMT Solver for string constraints
  ☆40Updated 2 weeks ago
• boogie-org / symdiff
  SymDiff-Differential-Program-Verifier
  ☆36Updated last week
• 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
• akrasuski1 / eusolver-priority
  Grammar prioritization support for EUSolver.
  ☆13Updated 6 years ago
• 95616ARG / pikos_popl2020
  Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
  ☆16Updated 4 years ago
• ilyasergey / reachability
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆31Updated 9 years ago
• kmicinski / program-analysis
  Program analysis grad seminar at SU (2019)
  ☆57Updated 5 years ago
• Kraks / sai
  Staged Abstract Interpreters
  ☆66Updated 2 years ago
• trishullab / cflobdd
  ☆11Updated last year
• opalj / opal
  ☆63Updated this week
• neil-kulkarni / arvada
  Grammar synthesis algorithm using a black box oracle
  ☆37Updated last year
• dynaroars / dig
  DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…
  ☆46Updated last month
• malyzajko / daisy
  ☆48Updated 2 weeks ago
• seahorn / verify-c-common
  ☆17Updated last year
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆51Updated 5 years ago
• Generative-Program-Analysis / GenSym
  A high-performance, parallel, compilation-based symbolic execution engine
  ☆132Updated last week
• LFrobeen / intellij-datalog
  ☆32Updated 3 years ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆158Updated this week
• MagpieBridge / MagpieBridge
  MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration
  ☆81Updated this week
• jayhorn / jayhorn
  Static checker for Java
  ☆86Updated 6 months ago
• probing-lab / polar
  ☆17Updated 2 months ago
• LearnLib / alex
  Automata Learning EXperience (ALEX) - A free and open-source web application for testing and learning web applications via active automat…
  ☆37Updated 11 months ago
• binsec / icse2021-artifact992
  ☆10Updated 4 years ago
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆54Updated 11 months ago
• zhoulaifu / xsat
  A Fast Floating-Point Satisfiability Solver
  ☆29Updated 6 years ago