Alternatives and similar repositories for clair

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

• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated last year
• nidhugg / nidhugg
  Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…
  ☆85Updated last week
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆49Updated last year
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆25Updated 3 years ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆79Updated 4 years ago
• rewriting / tom
  ☆34Updated 5 years ago
• mangpo / greenthumb
  ☆90Updated 3 years ago
• slebok / zoo
  Grammar Zoo
  ☆96Updated 6 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆80Updated 2 years ago
• smowton / llpe
  ☆55Updated last year
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆53Updated 5 years ago
• cesaro / dpu
  Dynamic analysis of multithreaded C programs
  ☆13Updated 5 years ago
• eschulte / clang-mutate
  Manipulate C-family ASTs with Clang
  ☆69Updated 11 years ago
• amishne / llvm-ir-editor
  An LLVM IR Editor plugin for Eclipse
  ☆52Updated 11 years ago
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆118Updated 6 months ago
• microsoft / vcc
  A static verifier for concurrent C programs
  ☆136Updated 4 years ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆53Updated 4 months ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• codelion / gramtest
  GramTest: A tool for Grammar based Test case generation
  ☆88Updated 2 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆102Updated 5 years ago
• paradise-fi / divine
  DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…
  ☆21Updated 4 years ago
• kframework / java-semantics
  The semantics of Java in K
  ☆19Updated 4 years ago
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆99Updated 4 years ago
• oracle / souffle
  DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
  ☆49Updated 8 years ago
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆93Updated 4 years ago
• msv-lab / angelix
  Semantic program repair system for C programs
  ☆101Updated 3 years ago
• SRI-CSL / OCCAM
  OCCAM: Object Culling and Concretization for Assurance Maximization
  ☆27Updated 2 years ago
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆50Updated 4 years ago
• malyzajko / daisy
  ☆50Updated 4 months ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆105Updated last year