Alternatives and similar repositories for clair

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

• diffblue / 2ls
  Static Analyzer and Verifier
  ☆51Updated last year
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated last year
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆55Updated 5 years ago
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆25Updated 3 years ago
• microsoft / vcc
  A static verifier for concurrent C programs
  ☆136Updated 4 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
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆96Updated 6 months ago
• boogie-org / corral
  solver for the reachability modulo theories problem
  ☆62Updated 2 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago
• smowton / llpe
  ☆55Updated last year
• cesaro / dpu
  Dynamic analysis of multithreaded C programs
  ☆13Updated 5 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆80Updated 2 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆47Updated 3 years ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆79Updated 4 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆101Updated 5 years ago
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆120Updated last week
• msv-lab / angelix
  Semantic program repair system for C programs
  ☆101Updated 3 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• kframework / java-semantics
  The semantics of Java in K
  ☆19Updated 4 years ago
• mangpo / greenthumb
  ☆90Updated 3 years ago
• nidhugg / nidhugg
  Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…
  ☆88Updated last month
• rewriting / tom
  ☆34Updated 5 years ago
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆93Updated 4 years ago
• kdudka / predator
  A Shape Analyzer Based on Symbolic Memory Graphs
  ☆77Updated last week
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆107Updated last year
• slebok / zoo
  Grammar Zoo
  ☆98Updated 7 years ago
• ishiura-compiler / CF3
  "CF3" is a C compiler test suite targeting arithmetic optimization.
  ☆37Updated 8 years ago
• rishabhs / sygus-comp14
  ☆41Updated 6 years ago
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆99Updated 4 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆71Updated 9 years ago