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 11 months 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
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆40Updated 2 years ago
• mangpo / greenthumb
  ☆89Updated 3 years ago
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆53Updated 5 years ago
• smowton / llpe
  ☆54Updated 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…
  ☆84Updated last week
• 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
• slebok / zoo
  Grammar Zoo
  ☆95Updated 6 years ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆48Updated 11 months ago
• amishne / llvm-ir-editor
  An LLVM IR Editor plugin for Eclipse
  ☆52Updated 11 years ago
• martinjonas / Q3B
  ☆30Updated last week
• ths-rwth / smtrat
  ☆58Updated 2 months ago
• rewriting / tom
  ☆34Updated 4 years ago
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆115Updated 4 months ago
• eschulte / clang-mutate
  Manipulate C-family ASTs with Clang
  ☆69Updated 11 years ago
• agra-uni-bremen / metaSMT
  ☆52Updated 9 years ago
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆95Updated 3 months ago
• cesaro / dpu
  Dynamic analysis of multithreaded C programs
  ☆13Updated 5 years ago
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆44Updated 3 years ago
• AnyDSL / thorin
  The Higher-Order Intermediate Representation
  ☆160Updated this week
• sampsyo / minisynth
  program synthesis is possible
  ☆41Updated 6 years ago
• karineek / CsmithEdge
  A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …
  ☆16Updated 2 months ago
• rishabhs / sygus-comp14
  ☆41Updated 6 years ago
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆50Updated 4 years ago
• SRI-CSL / OCCAM
  OCCAM: Object Culling and Concretization for Assurance Maximization
  ☆27Updated 2 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆78Updated 2 years ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆79Updated 4 years ago
• AdaCore / why3
  SPARK 2014 repository for the Why3 verification platform.
  ☆32Updated 3 weeks ago