Alternatives and similar repositories for clair

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

• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆96Updated 3 months ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆59Updated last year
• eschulte / clang-mutate
  Manipulate C-family ASTs with Clang
  ☆69Updated 11 years ago
• rewriting / tom
  ☆34Updated 5 years ago
• 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
• mangpo / greenthumb
  ☆90Updated 3 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆79Updated 2 years ago
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆53Updated 5 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…
  ☆85Updated last week
• amishne / llvm-ir-editor
  An LLVM IR Editor plugin for Eclipse
  ☆52Updated 11 years ago
• microsoft / vcc
  A static verifier for concurrent C programs
  ☆136Updated 4 years 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
• smowton / llpe
  ☆52Updated last year
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆48Updated last year
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆52Updated 4 months ago
• melt-umn / silver
  An attribute grammar-based programming language for composable language extensions
  ☆66Updated this week
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆43Updated 3 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆40Updated 3 years ago
• doganulus / montre
  The original timed regular expression matcher over temporal behaviors
  ☆15Updated 2 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• ishiura-compiler / CF3
  "CF3" is a C compiler test suite targeting arithmetic optimization.
  ☆37Updated 8 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…
  ☆30Updated 9 years ago
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆222Updated 2 years ago
• 17451k / clade
  Clade is a tool for extracting information about software build process and source code
  ☆22Updated last year
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆115Updated 5 months ago
• slebok / zoo
  Grammar Zoo
  ☆96Updated 6 years ago
• jplevyak / dparser
  A Scannerless GLR parser/parser generater.
  ☆113Updated 6 months ago
• msv-lab / angelix
  Semantic program repair system for C programs
  ☆101Updated 3 years ago
• AdaCore / why3
  SPARK 2014 repository for the Why3 verification platform.
  ☆33Updated 2 weeks ago